Advertisement

Applied Categorical Structures

, Volume 23, Issue 2, pp 137–157 | Cite as

Exponential Kleisli Monoids as Eilenberg–Moore Algebras

  • Dirk Hofmann
  • Frédéric MynardEmail author
  • Gavin J. Seal
Article
  • 140 Downloads

Abstract

Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This result generalizes the classical identification of exponentiable topological spaces as those whose lattice of open subsets forms a continuous lattice.

Keywords

Exponentiable object Monad Monoidal category Topological category 

Mathematics Subject Classifications (2010)

18C20 18B30 54A05 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats. In: Pure and Applied Mathematics. Wiley, New York (1990). Republished as Repr. Theory Appl. Categ., vol. 17 (2006)Google Scholar
  2. 2.
    Borceux, F.: Handbook of Categorical Algebra 1. Basic Category Theory. Encyclopedia of Mathematics and its Applications, vol. 50. Cambridge University Press (1994)Google Scholar
  3. 3.
    Borceux, F.: Handbook of Categorical Algebra 2. Categories and Structures. Encyclopedia of Mathematics and its Applications, vol. 51. Cambridge University Press, Cambridge (1994)CrossRefGoogle Scholar
  4. 4.
    Bourbaki, N.: General Topology, Chapters 1–4. Springer, Berlin (1989)CrossRefzbMATHGoogle Scholar
  5. 5.
    Claes, V., Lowen-Colebunders, E., Sonck, G.: Cartesian closed topological hull of the construct of closure spaces. Theory Appl. Categ. 8(18), 481–489 (2001)zbMATHMathSciNetGoogle Scholar
  6. 6.
    Clementino, M.M., Hofmann, D.: Exponentiation in V-categories. Topology Appl. 153(16), 3113–3128 (2006)Google Scholar
  7. 7.
    Colebunders, E., Richter, G.: An elementary approach to exponential spaces. Appl. Categ. Struct. 9(3), 303–310 (2001)CrossRefzbMATHMathSciNetGoogle Scholar
  8. 8.
    Day, A.: Filter monads, continuous lattices and closure systems. Can. J. Math. 27, 50–59 (1975)CrossRefzbMATHGoogle Scholar
  9. 9.
    Day, B.J., Kelly, G.M.: On topologically quotient maps preserved by pullbacks or products. Proc. Camb. Philos. Soc. 67, 553–558 (1970)CrossRefzbMATHMathSciNetGoogle Scholar
  10. 10.
    Escardó, M., Lawson, J., Simpson, A.: Comparing Cartesian closed categories of (core) compactly generated spaces. Topology Appl. 143(1–3), 105–145 (2004)CrossRefzbMATHMathSciNetGoogle Scholar
  11. 11.
    Gähler, W.: Monadic topology—a new concept of generalized topology. In: Recent Developments of General Topology and its Applications (Berlin, 1992). Math. Res., vol. 67, pp. 136–149. Akademie-Verlag, Berlin (1992)Google Scholar
  12. 12.
    Gähler, W.: Monads and convergence. In: Stanković, B., Pap, E., Pilipović, S., Vladimirov, V. (eds.) Proceedings Conference Generalized Functions, Convergence Structures and their Applications, pp. 29–46 (1988)Google Scholar
  13. 13.
    Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications, vol. 93. Cambridge University Press, Cambridge (2003)CrossRefGoogle Scholar
  14. 14.
    Isbell, J.R.: General function spaces, products and continuous lattices. Math. Proc. Camb. Philos. Soc. 100(2), 193–205 (1986)CrossRefzbMATHMathSciNetGoogle Scholar
  15. 15.
    MacLane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5. Springer, New York (1971)Google Scholar
  16. 16.
    Seal, G.J.: A Kleisli-based approach to lax algebras. Appl. Categ. Structures 17(1), 75–89 (2009)CrossRefzbMATHMathSciNetGoogle Scholar
  17. 17.
    Seal, G.J.: Order-adjoint monads and injective objects. J. Pure Appl. Algebra 214(6), 778–796 (2010)CrossRefzbMATHMathSciNetGoogle Scholar
  18. 18.
    Seal, G.J.: On the monadic nature of categories of ordered sets. Cah. Topol. Géom. Différ. Catég. 52(3), 163–187 (2011)zbMATHMathSciNetGoogle Scholar
  19. 19.
    Stubbe, I.: Categorical structures enriched in a quantaloid: tensored and cotensored categories. Theory Appl. Categ. 16(14), 283–306 (2006)zbMATHMathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  • Dirk Hofmann
    • 1
  • Frédéric Mynard
    • 2
    Email author
  • Gavin J. Seal
    • 3
  1. 1.CIDMA, Departamento de MatemáticaUniversidade de AveiroAveiroPortugal
  2. 2.Department of Mathematical SciencesGeorgia Southern UniversityStatesboroUSA
  3. 3.Mathematics SectionEcole Polytechnique Fédérale de LausanneLausanneSwitzerland

Personalised recommendations