Monads are well known to be equivalent to lax functors out of the terminal category. Morita contexts are here shown to be lax functors out of the chaotic category with two objects. This allows various aspects in the theory of Morita contexts to be seen as special cases of general results about lax functors. The account we give of this could serve as an introduction to lax functors for those familiar with the theory of monads. We also prove some very general results along these lines relative to a given 2-comonad, with the classical case of ordinary monad theory amounting to the case of the identity comonad on Cat.20 page(s
We use the basic expected properties of the Gray tensor product of (∞, 2)-categories to study (co)la...
In this work, we describe an adjunction between the comma category of Set-based monads under the V-p...
AbstractWe introduce a purely categorical notion of Morita context between abelian categories, which...
Abstract. The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are describe...
AbstractThis paper contributes to the algebraization of topology via the theory of monads and lax ex...
Part 3: Logic, Semantics, and Programming TheoryInternational audienceAbbott et al.’s containers are...
Lax algebras provide a setting for the simultaneous study of a wide range of topological structures....
Lax algebras provide a setting for the simultaneous study of a wide range of topological structures....
AbstractMotivated by the problem of internalizing Enriched Category Theory in a topos, we investigat...
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This inc...
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This inc...
The purpose of this work is to highlight the notions of lax braiding and lax centre for monoidal cat...
Lax algebras provide a setting for the simultaneous study of a wide range of topological structures....
AbstractWe give a 3-categorical, purely formal argument explaining why on the category of Kleisli al...
We investigate those lax extensions of a Set-monad T = (T,m, e) to the category V-Rel of sets and V-...
We use the basic expected properties of the Gray tensor product of (∞, 2)-categories to study (co)la...
In this work, we describe an adjunction between the comma category of Set-based monads under the V-p...
AbstractWe introduce a purely categorical notion of Morita context between abelian categories, which...
Abstract. The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are describe...
AbstractThis paper contributes to the algebraization of topology via the theory of monads and lax ex...
Part 3: Logic, Semantics, and Programming TheoryInternational audienceAbbott et al.’s containers are...
Lax algebras provide a setting for the simultaneous study of a wide range of topological structures....
Lax algebras provide a setting for the simultaneous study of a wide range of topological structures....
AbstractMotivated by the problem of internalizing Enriched Category Theory in a topos, we investigat...
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This inc...
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This inc...
The purpose of this work is to highlight the notions of lax braiding and lax centre for monoidal cat...
Lax algebras provide a setting for the simultaneous study of a wide range of topological structures....
AbstractWe give a 3-categorical, purely formal argument explaining why on the category of Kleisli al...
We investigate those lax extensions of a Set-monad T = (T,m, e) to the category V-Rel of sets and V-...
We use the basic expected properties of the Gray tensor product of (∞, 2)-categories to study (co)la...
In this work, we describe an adjunction between the comma category of Set-based monads under the V-p...
AbstractWe introduce a purely categorical notion of Morita context between abelian categories, which...