ONT Re: IFF Comments Requested
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Categories For The Working Ontologist
I will be posting a reference and tutorial selection
of excerpts from the following works to the ONT List
in the days ahead. This category theory business is
really much more down to earth than it might seem at
first. It was initially developed to help deal with
everyday tasks in clarifying and organizing the work
of mathematics, and it is used every day today for
just that purpose.
| Barr, Michael & Wells, Charles,
|'Category Theory for Computing Science',
| Prentice Hall, London, UK, 1990.
| Lambek, J. & Scott, P.J.,
|'Introduction to Higher Order Categorical Logic',
| Cambridge University Press, Cambridge, UK, 1986.
| Mac Lane, Saunders,
|'Categories for the Working Mathematician',
| Springer-Verlag, New York, NY, 1971.
I have already started with the Lambek and Scott book.
Here is the archive link to the launch of that series:
http://suo.ieee.org/ontology/msg03373.html
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤