Relations between K-morphisms and lax algebras

Abstract

Si costruisce un 2-isomorfismo tra la 2-categoria Pseud (H, K) dei K-morfismi di H in K e la 2-categoria K$^{v\otimes-}$delle lax algebre alla Bunge associate alla lax monade V $\otimes$-.

We define a 2-isomorphism between the 2-category Pseud (H, K) of K-morphisms from H to K and the 2-category K$^{v\otimes-}$of Bunge lax algebras associated to the lax monad V $\otimes$-.