From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2965 Path: news.gmane.org!not-for-mail From: Jiri Adamek Newsgroups: gmane.science.mathematics.categories Subject: idempotent completion Date: Fri, 23 Dec 2005 10:46:30 +0100 (CET) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241019010 6625 80.91.229.2 (29 Apr 2009 15:30:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:30:10 +0000 (UTC) To: categories net Original-X-From: rrosebru@mta.ca Mon Dec 26 11:29:11 2005 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 26 Dec 2005 11:29:11 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1EquCR-0003Cn-5J for categories-list@mta.ca; Mon, 26 Dec 2005 11:23:47 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 40 Original-Lines: 15 Xref: news.gmane.org gmane.science.mathematics.categories:2965 Archived-At: 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