SUO: Category Theory
[Reposting after 2 hours]
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
SUO Working Group,
I have restarted my selection of excerpts from
Mac Lane's 'Cat Work Math' on the Ontology List.
This is intended to help with justifying the ways
of IFF to the millions, and is also offerred in
support of whatever 'mysterium coniunctionis'
may be forthcoming with CYC, SUMO, ...,
not to mention the good BUK itself.
We could get a whole lot of mileage out of the first 30 pages or so.
Indeed, just understanding the category-theoretic definition of the
cartesian product, which is the construction that Mac Lane picks for
his introductory example in the first couple of pages, would help
a lot with one of the most common confusions that I have seen out
there in the cobwebbed fields of current (mal-)practices, namely,
the stubborn error of confusing a relation with one of its tuples.
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
CAT. Category Theory -- Ontology List
Introduction
01. http://suo.ieee.org/ontology/msg04789.html
02. http://suo.ieee.org/ontology/msg04790.html
03. http://suo.ieee.org/ontology/msg04791.html
04. http://suo.ieee.org/ontology/msg04792.html
05. http://suo.ieee.org/ontology/msg04793.html
06. ...
The above material is excerpted from:
| Saunders Mac Lane,
|'Categories for the Working Mathematician',
| 2nd edition, Springer, New York, NY, 1997.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o