Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!maverick.ksu.ksu.edu!ksuvax1!banerjee From: banerjee@ksuvax1 (Anindya Banerjee) Newsgroups: comp.theory Subject: Re: Intro Category Theory? Message-ID: <1990Aug21.211537.17297@maverick.ksu.ksu.edu> Date: 21 Aug 90 21:15:37 GMT References: <1990Aug18.013734.29696@maverick.ksu.ksu.edu> <6119@vanuata.cs.glasgow.ac.uk> Sender: news@maverick.ksu.ksu.edu (The News Guru) Distribution: sci Organization: Kansas State University, Dept. of Computing and Information Sciences Lines: 49 In article <6119@vanuata.cs.glasgow.ac.uk> jack@cs.glasgow.ac.uk (Jack Campin) writes: > >banerjee@ksuvax1 (Anindya Banerjee) wrote: > >> Abstract and Concrete Categories, by Jiri Adamek, Horst Herrlich and >> George Strecker. Published by John Wiley. > >The Herrlich and Strecker text that used to be published by Allyn and >Bacon is my favourite - lots of good examples of a much less arcane >kind than in Mac Lane's book. Is this one a superset of it? Is the >old one still available from anywhere? > >-- >-- Jack Campin Computing Science Department, Glasgow University, 17 Lilybank >Gardens, Glasgow G12 8QQ, Scotland 041 339 8855 x6044 work 041 556 1878 home >JANET: jack@cs.glasgow.ac.uk BANG!net: via mcsun and ukc FAX: 041 330 4913 >INTERNET: via nsfnet-relay.ac.uk BITNET: via UKACRL UUCP: jack@glasgow.uucp If you liked Herrlich and Strecker, you will like the new book much more! It is really a sort of compendium, (hence, a superset of the Herrlich and Strecker original) and the explanations are excellent. Added to that are the illustrations from the book CAT E GOR Y by Edward Gorey. You would absolutely love it! There are some interesting examples of Duality, among which the following is my favourite: Live Dual, Laud Evil. I am listing the chapters here for everybody's benefit: Introduction Categories, Functors and Natural Transformations Objects and Morphisms Sources and Sinks Factorization Structures Adjoints and Monads Topological and Algebraic Categories Cartesian Closedness and Partial Morphisms In the course that George Strecker offered the past year, we covered a substantial portion of the first six topics and a little of Cartesian Closed Categories. On a related note, does anybody know whether the book "Applied Category Theory" by Andrea Asperti and Giusseppe (sp?) Longo has been published yet? I have seen a draft of it as a technical report from Pisa, and have heard rumours that it is going to be published by MIT press. --anindya