Order-adjoint monads and injective objects

Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint maps, the category of Kleisli monoids is defined as the category of monoids in the hom-sets of the Kleisli category of T. The Eilenberg-Moore category of T is shown to be strictly monadic over the category of Kleisli monoids. If the Kleisli category of T moreover forms an order-enriched category. then the monad induced by the new situation is Kock-Zoberlein. Injective objects in the category of Kleisli monoids with respect to the class of initial morphisms then characterize the objects of the Eilenberg-Moore category of T, a fact that allows us to recuperate a number of known results, and present some new ones. (C) 2009 Elsevier B.V. All rights reserved.

[1]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[2]  E. Manes.  Algebraic Theories in a Category , 1976 .

[3]  Gavin J. Seal.  A Kleisli-based Approach to Lax Algebras , 2009, Appl. Categorical Struct..

[4]  Anders Kock,et al.  On Double Dualization Monads. , 1970 .

[5]  N. Bourbaki.  General Topology: Chapters 1–4 , 1989 .

[6]  lawa Kanas,et al.  Metric Spaces , 2020, An Introduction to Functional Analysis.

[7]  Christoph Schubert,et al.  Extensions in the theory of lax algebras , 2010 .

[8]  A. Joyal,et al.  An extension of the Galois theory of Grothendieck , 1984 .

[9]  Alan Day.  Filter monads, continuous lattices and closure systems , 1975 .

[10]  W. Mader.  Ecken vom Innen- und Außengradn in minimaln-fach kantenzusammenhängenden Digraphen , 1974 .

[11]  CABool is monadic over almost all categories , 1992 .

[12]  Walter Tholen,et al.  Multiplicative structures over sup-lattices , 1989 .

[13]  Sergey A. Solovyov,et al.  On the category Q-Mod , 2008 .

[14]  F. Hausdorff.  Grundzüge der Mengenlehre , 1914 .

[15]  W. J. Thron,et al.  Encyclopedia of Mathematics and its Applications. , 1982 .

[16]  A. Kock.  Monads for which Structures are Adjoint to Units , 1995 .

[17]  Jirí Adámek,et al.  Abstract and Concrete Categories - The Joy of Cats , 1990 .

[18]  Oswald Wyler.  Algebraic theories of continuous lattices , 1981 .

[19]  Jean Benabou.  Treillis locaux et paratopologies , 1958 .

[20]  K. Hofmann,et al.  Continuous Lattices and Domains , 2003 .

[21]  F. William Lawvere,et al.  Metric spaces, generalized logic, and closed categories , 1973 .

[22]  Martín Hötzel Escardó,et al.  Properly injective spaces and function spaces , 1998 .

[23]  Dirk Hofmann,et al.  Injective Spaces via Adjunction , 2008, 0804.0326.

[24]  Jan Paseka.  Projective sup-algebras: a general view , 2008 .