From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1193 Path: news.gmane.org!not-for-mail From: Paul Taylor Newsgroups: gmane.science.mathematics.categories Subject: monadic completion of adjunctions Date: Fri, 6 Aug 1999 11:41:17 +0100 (BST) Message-ID: <199908061041.LAA04697@wax.dcs.qmw.ac.uk> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241017628 29896 80.91.229.2 (29 Apr 2009 15:07:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:07:08 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Fri Aug 6 17:37:27 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id QAA23042 for categories-list; Fri, 6 Aug 1999 16:37:57 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 91 Xref: news.gmane.org gmane.science.mathematics.categories:1193 Archived-At: MONADIC COMPLETION OF ADJUNCTIONS A famous theorem of Jon Beck says that an adjunction A ^ | | | F | -| | U | | | v C is monadic (equivalent to its category of Eilenberg--Moore algebras) iff U satisfies a certain condition involving "U-split coequalisers". Given any adjunction, of course one may "force" it to be monadic by replacing the category A by the category of algebras for the monad U.F, and there is a comparison functor. (1) My question is this: is there an explicit account in the literature somewhere of the construction obtained by "freely adding" the conditions of Beck's theorem (the U-split coequalisers) to A? (2) Further, has anyone considered what happens when one forces an adjunction to be BOTH monadic and comonadic? Steve Lack gave me a verbal answer to the second question, although he hasn't shown me his notes: (a) if we force U to be monadic, and then (the new) F to be comonadic, (the third) U need NOT be monadic, but (b) if we force U to be monadic again then (the fourth) F IS still comonadic. In my investigation of this question and similar ones that have arisen from my abstract Stone duality programme, I have found a construction due to Hayo Thielecke very useful, though it seems appropriate to generalise it considerably beyond either his or my interests: (3) Given an adjunction, or just the functor U, above, let H (for Hayo) be the category with objects: those of A morphisms: H(a, b) = C(Ua, Ub) Does anyone have an account of this category, maybe in the even more abstract framework of a 2-category? (4) The usefulness of the category H is that it provides a framework in which to lift an endofunctor S:A->A to the category of algebras, so long as T has a "de Morgan dual" P:C->C such that U.S=P.U. For example if S is (- x a) for some object a in A, or (which is what interests both Hayo and me) if U is Sigma^-: C^op -> C^op and S is (- x c), or the same situation with a symmetric monoidal (closed) structure. Making use of the construction of H, my sketch solution to question (2) is as follows: (i) As wide or lluf subcategories (all objects, some morphisms) of H we find the categories that freely make U faithful (f), or faithful and reflect invertibility (fri - this is the usage of "faithful" in Freyd & Scedrov); call these A_f and A_fri. (ii) F-|U extends to left adjoints F_f -| U_f : A_f -> C and F_fri -| U_fri : A_fri -> C and if F was faithful or fri then so is F_f or F_fri. (iii) Therefore the processes of making U and F faithful (or fri) commute, so we need only do each of them once. (iv) The auxillary category H is also convenient for representing freely adjoined U-split coequalisers, in a similar way to the "Karoubi completion" of a category to one with splittings of idempotents, but it's too messy to describe in this note. (v) Freely adding U-split coequalisers - commutes with freely forcing U (and F) to be faithful, and - commutes with freely adding F-split equalisers, and - preserves the properties that U or F are faithful or fri, but - DOES NOT COMMUTE with freely forcing U to reflect isomorphisms, and - DOES NOT COMMUTE with freely forcing F to reflect isomorphisms. (vi) This justifies Steve Lack's claims. (I have counterexamples in (v), though not actually to support (2a).) Resolving the construction of the monadic reflection of U (and the comonadic reflection of F) into forcing them to be fri and then to have split co/equalisers, we find that there is just one obstacle to the commutation of the four operations, but this is overcome by a single repetition as in (2b). Paul