Abstract
This paper gives a sufficient condition for monads P, P′ and T to have an adjunction between the category of P-algebras over T-algebras and the category of P′-algebras over T-algebras. The leading example is an adjunction between the category of idempotent semirings and the category of quantales, where P is the finite powerset monad, P′ is the powerset monad, and T is the free monoid monad. The left adjoint of this leading example is given by ideal completion. Applying our result, we show that ideal completion also gives an adjunction between the category of join semilattices over T-algebras and the category of complete join semilattices over T-algebras for a general monad T satisfying certain distributive law.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barr, M., Wells, C.: Toposes, Triples and Theories, Grundlagen der Mathematischen Wissenschaften, vol. 278. Springer (1985)
Beck, J.M.: Distributive laws. In: Seminar on Triples and Categorical Homology Theory. Lecture Notes in Mathematics, vol. 80, pp. 119–140. Springer (1969)
Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall (1971)
Linton, F.E.J.: Coequalizers in categories of algebras. In: Seminar on Triples and Categorical Homology Theory. Lecture Notes in Mathematics, vol. 80, pp. 75–90. Springer (1969)
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer (1998)
Nishizawa, K., Furusawa, H.: Ideal Completion of Join Semilattics over T-Algebra. Bulletin of Tottori University of Environmental Studies 9, 91–103 (2012)
Pare, R.: Absolute coequalizers. In: Category Theory, Homology Theory and Their Applications. Lecture Notes in Mathematics, vol. 86, pp. 132–145. Springer (1969)
Street, R.: The formal theory of monads. Journal of Pure and Applied Algebra 2, 149–168 (1972)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Nishizawa, K., Furusawa, H. (2014). A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories. In: Höfner, P., Jipsen, P., Kahl, W., Müller, M.E. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2014. Lecture Notes in Computer Science, vol 8428. Springer, Cham. https://doi.org/10.1007/978-3-319-06251-8_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-06251-8_16
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06250-1
Online ISBN: 978-3-319-06251-8
eBook Packages: Computer ScienceComputer Science (R0)