From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2966 Path: news.gmane.org!not-for-mail From: "Marta Bunge" Newsgroups: gmane.science.mathematics.categories Subject: RE: idempotent completion Date: Mon, 26 Dec 2005 15:57:47 -0500 Message-ID: References: Reply-To: marta.bunge@mcgill.ca NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; format=flowed X-Trace: ger.gmane.org 1241019011 6633 80.91.229.2 (29 Apr 2009 15:30:11 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:30:11 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Dec 29 13:12:26 2005 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 29 Dec 2005 13:12:26 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1Es1Dc-0002rB-Mt for categories-list@mta.ca; Thu, 29 Dec 2005 13:05:36 -0400 In-Reply-To: Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 41 Original-Lines: 62 Xref: news.gmane.org gmane.science.mathematics.categories:2966 Archived-At: Dear Jirka, The result appears in my 1966 thesis ("Categories of Set-valued functors", U. of Pennsylvania), and in print (with an arbitrary closed category base V and categories relative to V) in the following 1969 paper, translated into Russian in 1972. Marta Bunge, Relative Functor Categories and Categories of Algebras. J.of Algebra 11 (1969) 64-101. Russian translation in : Mathematics: Periodical collections of Translations of Foreign Articles, Vol.16, Izdat. "Mir", Moscow(1972) 11-46, MR 50, #12532. Cordially, Marta ************************************************ Marta Bunge Professor Emerita Dept of Mathematics and Statistics McGill University 805 Sherbrooke St. West Montreal, QC, Canada H3A 2K6 Office: (514) 398-3810 Home: (514) 935-3618 marta.bunge@mcgill.ca http://www.math.mcgill.ca/~bunge/ ************************************************ >From: Jiri Adamek >To: categories net >Subject: categories: idempotent completion >Date: Fri, 23 Dec 2005 10:46:30 +0100 (CET) > >I would be grateful for getting the earliest reference to the fact >that for two small categories T and S the corresponding >functor-categories into Set are equivalent iff T and S have the same >idempotent (= Cauchy) completion. One can find this in a russian paper: > >"Morita equivalent categories" by S. V. Polin, Vestnik Mosk. Univ., >1974, no.2, 41-45 > > >xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx >alternative e-mail address (in case reply key does not work): >J.Adamek@tu-bs.de >xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx > >