Lax monads. Indexed monoidal monads (Q1181431): Difference between revisions
From MaRDI portal
Removed claims |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Aurelio Carboni / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Robert D. Rosebrugh / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to bicategories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4119356 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3658172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Variation through enrichment / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bicategories of spans and relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3986541 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagram chasing in Mal'cev categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934678 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3470632 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4173541 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monads on symmetric monoidal closed categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong functors and monoidal monads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5586435 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4138877 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherence for bicategories and indexed categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4170869 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On algebras defined by operations and equations in a topos / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free quantaloids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves on sites as Cauchy-complete categories / rank | |||
Normal rank |
Latest revision as of 14:24, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lax monads. Indexed monoidal monads |
scientific article |
Statements
Lax monads. Indexed monoidal monads (English)
0 references
27 June 1992
0 references
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.
0 references
Eilenberg-Moore algebra
0 references
enriched category
0 references
lax monad
0 references
bicategory
0 references