Aspects of algebraic Algebras

In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg-Moore category, for a Kock-Zoberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras in the spirit of domain theory. Secondly, we study the existence of weighted (co)limits, both on the abstract level and for specific categories of domain theory like the category of algebraic lattices. Finally, we apply these results to give a description of the idempotent split completion of the Kleisli category of the filter monad on the category of topological spaces.

[1]  Aleš Pultr,et al.  Frames in Priestley's duality , 1988 .

[2]  G. M. Kelly,et al.  BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.

[3]  JIŘÍ ADÁMEK,et al.  Kan injectivity in order-enriched categories , 2015, Math. Struct. Comput. Sci..

[4]  H. Simmons,et al.  A couple of triples , 1982 .

[5]  Jonathon Funk,et al.  Singular Coverings of Toposes , 2006 .

[6]  Martín Hötzel Escardó,et al.  Injective locales over perfect embeddings and algebras of the upper powerlocale monad , 2003 .

[7]  George N. Raney,et al.  Completely distributive complete lattices , 1952 .

[8]  Lurdes Sousa,et al.  A calculus of lax fractions , 2017 .

[9]  Václav Koubek,et al.  Completions of concrete categories , 1981 .

[10]  Alexander Kurz,et al.  Quasivarieties and varieties of ordered algebras: regularity and exactness † , 2016, Mathematical Structures in Computer Science.

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

[12]  Achim Jung,et al.  Stably Compact Spaces and the Probabilistic Powerspace construction , 2004, DTMPP.

[13]  V. Buchstaber,et al.  Mathematical Proceedings of the Cambridge Philosophical Society , 1979 .

[14]  Oswald Wyler.  Algebraic Theories for Continuous Semilattices , 1985 .

[15]  R. J. Wood,et al.  Constructive complete distributivity. I , 1990, Mathematical Proceedings of the Cambridge Philosophical Society.

[16]  Dirk Hofmann.  A Four for the Price of One Duality Principle for Distributive Spaces , 2013, Order.

[17]  Robert D. Rosebrugh,et al.  Constructive complete distributivity IV , 1991, Mathematical Proceedings of the Cambridge Philosophical Society.

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

[19]  Jiří Adámek,et al.  Intersections of reflective subcategories , 1988 .

[20]  Margarida Carvalho,et al.  On Kan-injectivity of Locales and Spaces , 2015, Applied Categorical Structures.

[21]  Dominique Bourn,et al.  CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES , 2018 .

[22]  Martín Hötzel Escardó,et al.  Semantic Domains, Injective Spaces and Monads , 1999, MFPS.

[23]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

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

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

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

[27]  Manuela Sobral,et al.  Categorical Foundations: Aspects of Monads , 2003 .

[28]  Lurdes Sousa,et al.  Order-preserving reflectors and injectivity , 2011 .

[29]  Volker Zöberlein,et al.  Doctrines on 2-categories , 1976 .

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

[31]  Jiří Adámek,et al.  Are all limit-closed subcategories of locally presentable categories reflective? , 1988 .

[32]  Jiří Adámek,et al.  KZ-monadic categories and their logic , 2017 .