Lax monads. Indexed monoidal monads (Q1181431): Difference between revisions

As part of their goal of internalizing enriched category theory in a topos, the authors consider the notion of a lax monad \(T\) on a bicategory \({\mathcal B}\) and construct a bicategory \({\mathcal B}^ T\) of algebras which appears as part of a factorization \({\mathcal B}\to{\mathcal B}^ T\to{\mathcal B}\), with the two morphisms to be thought of as change of base for bicategories. In case \({\mathcal B}=\text{Span}({\mathcal E})\) (for a topos \({\mathcal E}\)), \({\mathcal B}^ T\) is a bicategory of matrices (indexed by objects of \({\mathcal E}\)) of \(T\)-algebras.