From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2094 Path: news.gmane.org!not-for-mail From: "John Baez" Newsgroups: gmane.science.mathematics.categories Subject: 2-category of internal categories Date: Wed, 8 Jan 2003 20:03:31 -0800 (PST) Message-ID: <200301090403.h0943Vc11733@math-cl-n01.ucr.edu> 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 1241018403 2423 80.91.229.2 (29 Apr 2009 15:20:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:20:03 +0000 (UTC) To: categories@mta.ca (categories) Original-X-From: rrosebru@mta.ca Sat Jan 11 16:13:58 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 11 Jan 2003 16:13:58 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 18XRzy-0005Q4-00 for categories-list@mta.ca; Sat, 11 Jan 2003 16:12:54 -0400 X-Mailer: ELM [version 2.5 PL6] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 19 Original-Lines: 14 Xref: news.gmane.org gmane.science.mathematics.categories:2094 Archived-At: Dear Categorists - Who first constructed internal categories, internal functors and internal natural transformations in a given category, and actually proved that these form a *2-category*? I'm looking for a reference. Best, jb