From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4075 Path: news.gmane.org!not-for-mail From: Robert L Knighten Newsgroups: gmane.science.mathematics.categories Subject: Re: Comma categories Date: Wed, 7 Nov 2007 17:32:28 -0800 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019703 11582 80.91.229.2 (29 Apr 2009 15:41:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:41:43 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Nov 8 22:21:40 2007 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 08 Nov 2007 22:21:40 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1IqJJn-0002fN-2w for categories-list@mta.ca; Thu, 08 Nov 2007 22:09:59 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 28 Original-Lines: 79 Xref: news.gmane.org gmane.science.mathematics.categories:4075 Archived-At: Bill Lawvere writes: > > > I recently noticed that in Abstract no. 652-4 in the Notices > of the AMS volume 14 (1967) page 937, John Gray advocates a > systematic treatment of the calculus of comma categories > and lists five operations which should be explicitly accounted > for in such a calculus. > He also mentions that Jon Beck contributed to that discussion. > > Probably John Gray's notes, if they still exist, would be > a helpful guide to someone planning to write a systematic > treatment as suggested recently Uwe Wolters. > > Bill As a followup to Bill's note, here is a slightly more recent positing by John Gray to another mailing list on this very topic. * To: types@theory.LCS.MIT.EDU * Subject: Re: Cobig, Coproduct, and Comma * From: gray@symcom.math.uiuc.edu (John Gray) * Date: Mon, 20 Mar 89 17:13:53 EST * Sender: meyer@theory.LCS.MIT.EDU Date: Mon, 20 Mar 89 15:32:11 CST >Cobig, Coproduct, and Comma Vaughan Pratt 3/19/89 >Formally a comma category is most slickly described as a lax pullback. >I've attempted an understandable account of this 2-category concept in >an appendix below. I'd appreciate pointers to other accounts. Comma categories are an ancient tool in category theory. They were introduced in F. W. Lawvere, Functorial Semantics of Algebraic Theories Thesis, Columbia University, 1963. He used them in --, The category of categories as a foundation for mathematics, Proceedings of the Conference on Categorical Algebra, La Jolla 1965, Springer-Verlag, New York. I discussed them in several places: J. W. Gray, Fibred and cofibred categories, same proceedings as above, 21-83. I gave a brief calculus of comma categories in: --, The categorical comprehension scheme, Category theory, Homology theory and their Applications III, Lecture Notes in Mathematics 99, Springer-Verlag, New York 1969, 242-312. They are described as "Cartesian quasi-limits" in the book: --, Formal category theory: Adjointness for 2-categories, Lecture Notes in Mathematics 391, Springer-Verlag, New York 1974. which is the first place where the lax description of them can be found. I don't credit it to anybody there, since I assumed it was general knowledge. The name was changed to "lax limits" in: G. M. Kelly and R. Street, Review of the elements of 2-categories, Category Seminar, Lecture Notes in Mathematics 420, Springer- Verlag, New York 1974. The general theory of the properties of lax limits in 2-categories was discussed independently by Street and me in various publications. E. g., J. W. Gray, The existence and construction of lax limits, Cahiers Top. et Geom. Diff. 21 (1980), 277-304. --, Closed categories, Lax limits and homotopy limits, J. Pure Appl. Algebra 19 (1980), 127-158. --, The representation of limits, lax limits, and homotopy limits as sections, in Mathematical Applications of Category Theory, Contemporary Mathematics 30 (1984), AMS, 63-83. R. Street, Two constructions on lax functors, Cahiers Top. et Geom. Diff. 13, (1972), 217-264. --, Limits indexed by category-valued 2-functors, J. Pure and Applied Alg. 8 (1976), 149-181. It is of course very gratifying to see these ideas coming around again as useful tools in the semantics of programming languages. John Gray -- Bob