Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads (Q690382): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: On product-preserving Kan extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934579 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads / rank
 
Normal rank

Latest revision as of 11:49, 22 May 2024

scientific article
Language Label Description Also known as
English
Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
scientific article

    Statements

    Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads (English)
    0 references
    0 references
    0 references
    0 references
    15 May 1994
    0 references
    The authors study the 2-monads on the 2-category CAT of small categories, which are completely determined, in the following sense, by their action on the finite discrete categories: the monad \(T\) is the left Kan extension of its restriction to the finite discrete categories. The authors investigate in particular the relations between this problem and the preservation of finite products by a left Kan extension.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    enriched categories
    0 references
    2-monads
    0 references
    2-category
    0 references
    products
    0 references
    Kan extension
    0 references
    monads
    0 references