Applications of the Kleisli and Eilenberg-Moore 2-adjunctions

2014/07/25 by Hernández, Juan L. López, Cuevas, Luis J. Turcio, Vázquez-Márquez, Adrián
#18A40 #18C20 #18D05 #18D10 #Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.1407.6969

Abstract

We collect some isomorphisms of categories and bijections of structures using the Kleisli and Eilenberg-Moore 2-adjunctions.

Related

• Internal Kleisli categories
• Elements of a theory of algebraic theories
• The Partial Simplicial Category and Algebras for Monads
• A standard theorem on adjunctions in two variables
• Invariants of structures