efore we've
roughed out or even mined the stone.  So I will stick for the
time being with the basic category theory, which along with
naive set theory needs no apology, as it used on a routine
basis to carry on the everyday business of mathematics --
the original &quot;upper ontology&quot; if anything ever was one --
not to mention computer science, and even more and more
engineering these days via the systems theory connection.
And it's the main way that I ever learned for talking about
lattices and all ki