From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8083 Path: news.gmane.org!not-for-mail From: tholen@mathstat.yorku.ca Newsgroups: gmane.science.mathematics.categories Subject: Re: Question on factorization systems Date: Mon, 21 Apr 2014 08:44:01 -0400 Message-ID: References: Reply-To: tholen@mathstat.yorku.ca NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format="flowed" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1398085169 31272 80.91.229.3 (21 Apr 2014 12:59:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 21 Apr 2014 12:59:29 +0000 (UTC) Cc: categories@mta.ca, tholen@mathstat.yorku.ca To: Michael Barr Original-X-From: majordomo@mlist.mta.ca Mon Apr 21 14:59:23 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WcDoh-00064u-1d for gsmc-categories@m.gmane.org; Mon, 21 Apr 2014 14:59:23 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:38781) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1WcDoA-0000y8-OI; Mon, 21 Apr 2014 09:58:50 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1WcDo9-0001or-K9 for categories-list@mlist.mta.ca; Mon, 21 Apr 2014 09:58:49 -0300 In-Reply-To: Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8083 Archived-At: Michael, The formally correct answer to your "one place" question is certainly "No", but here are a few suggestions. As a primer on orthogonal factorization systems (E,M) without epi-mono constraints in a published book I would recommend Section 14 of the Adamek-Herrlich-Strecker book, simply because (unlike many other accounts of the topic) it is free of redundant requirements. In my view, that section is, however, not the best in terms of discussing closure of M (and E) under limits (colimits). In a paper with John MacDonald (LNM 962,Springer 1982, pp 175-1982) we showed the equivalence of: i. (E,M) orth f.s. in C; ii. E (considered as a full subcat of C^2) is coreflective in C^2, and E is closed under composition; iii. M is reflective in C^2, and M is closed under composition. As Im and Kelly (J. Korean Math. Soc. 23 (1986) 1-18) pointed out, reflectivity in C^2 leads to all the desired limit stability properties of the class M in C. This approach to orth. f.s. is taken in the first chapter of my book with Dikranjan on Closure Operators (Kluwer 1995). (There, however, we assume for "convenience" M to be a class of monos, but, as is pointed out there, the essential proofs all work in generality.) There is also the important aspect of considering an orth. f.s. (E,M) as an Eilenberg-Moore (!) structure with respect to the monad C |--> C^2 in CAT, for which I would refer you to my paper with Korostenski (JPAA 85 (1993) 57-72) and with George Janelidze (JPAA 142 (1999) 99-130). Sorry, certainly not just one place, especially since the above references don't do justice to tons of other contributions. And things get even more complicated if we talk historical firsts, which would start with Mac Lane (Bull. AMS 56 (1950))... Regards, Walter Quoting Michael Barr : > First let me explain that our math dept email system has been down for ten > days and there is no indication when it will be back, although our sysop > has been working on it day and night. I will circulate an announcement > when it is running again. Meantime, use this address. > > Is there one place that develops all the properties of factorization > systems? We are especially interested in the non-strict case, that is in > which the right factor needn't be epic, nor the left factor be monic, but > the unique diagonal fill-in condition holds. > > Michael > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]