Abstract
We discuss categorical aspects of the theory of bimonads on arbitrary categories as introduced in Mesablishvili and Wisbauer (J K Theory 7:349–388, 2011). These includ explicit descriptions of limits and colimits as well as characterizations of monomorphisms and epimorphisms in the Eilenberg–Moore category of a bimonad. Two Kleisli type categories for bimonads are considered and it is shown that the classical Kleisli (co)monad adjunctions can be extended to this setting. Furthermore, the Kleisli categories are shown to be equivalent with the categories of free and respectively cofree bimodules.
Similar content being viewed by others
References
Agore, A.L.: Limits of coalgebras, bialgebras and Hopf algebras. Proc. Am. Math. Soc. 139, 855–863 (2011)
Agore, A.L.: Categorical constructions for Hopf algebras. Commun. Algebra 39, 1476–1481 (2011)
Ardizzoni, A., Caenepeel, S., Menini, C., Militaru, G.: Naturally full functors in nature. Acta Math. Sinica 22, 233–250 (2006)
Bruguieres, A., Virelizier, A.: Hopf monads. Adv. Math. 215, 679–733 (2007)
Borceux, F.: Handbook of Categorical Algebra, Volume 1: Basic Category Theory. Cambridge University Press (1994)
Borceux, F.: Handbook of Categorical Algebra, Volume 2: Categories and Structures. Cambridge University Press (1994)
Cartier, P., Patras, F.: Classical Hopf Algebras and Their Applications, vol. 29, Springer (2021)
Chirvăsitu, A.: On epimorphisms and monomorphisms of Hopf algebras. J. Algebra 323, 1593–1606 (2010)
Eilenberg, S., Moore, J.C.: Adjoint functors and triples. Illinois J. Math. 9, 381–398 (1965)
Kleisli, H.: Every standard construction is induced by a pair of adjoint functors. Proc. Am. Math. Soc. 16, 544–546 (1965)
Mesablishvili, B.: Entwining structures in monoidal categories. J. Algebra 319, 2496–2517 (2008)
Mesablishvili, B., Wisbauer, R.: Bimonads and Hopf Monads on categories. J. K Theory 7, 349–388 (2011)
Mesablishvili, B., Wisbauer, R.: The fundamental theorem for weak braided bimonads. J. Algebra 7, 55–103 (2017)
Militaru, G.: The Hopf modules category and the Hopf equation. Commun. Algebra 26, 3071–3097 (1998)
Moerdijk, I.: Monads on tensor categories. J. Pure Appl. Algebra 168, 189–208 (2002)
Wisbauer, R.: Algebras versus coalgebras. Appl. Cat. Struct. 16, 255–295 (2008)
Funding
This work was supported by a grant of the Ministry of Research, Innovation and Digitization, CNCS/CCCDI—UEFISCDI, project number PN-III-P4-ID-PCE-2020-0458, within PNCDI III.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The authors have not disclosed any competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Agore, A.L. Eilenberg–Moore and Kleisli Type Categories for Bimonads on Arbitrary Categories. Results Math 77, 225 (2022). https://doi.org/10.1007/s00025-022-01757-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-022-01757-7