Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads

DOI10.1007/BF00872987MaRDI QIDQ690382zbMATH OpenFDO

Authors Max Kelly, Stephen Lack

Publication date 15 May 1994

Published in Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

monads2-category2-monadsenriched categoriesproductsKan extension

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Left Kan extensions preserving finite products
• Homotopy-theoretic aspects of 2-monads
• Two-dimensional monad theory
• scientific article; zbMATH DE number 861612

Cites work

• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• On product-preserving Kan extensions

Cited in

(21)

• Incomplete Tambara functors
• Finitary monads on the category of posets
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Left adjoint to precomposition in elementary doctrines
• Presentations and algebraic colimits of enriched monads for a subcategory of arities
• Monads and theories
• Morita equivalence for many-sorted enriched theories
• Quasivarieties and varieties of ordered algebras: regularity and exactness
• Two-dimensional regularity and exactness
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
• On semiflexible, flexible and pie algebras
• Discrete Lawvere theories and computational effects
• The Gray tensor product via factorisation
• Codescent objects and coherence
• Coinverters and categories of fractions for categories with structure
• Limits of small functors
• Virtual concepts in the theory of accessible categories
• Notions of Lawvere theory
• A categorical view of varieties of ordered algebras
• Left Kan extensions preserving finite products
• Accessible categories with a class of limits

This page was built for publication: Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690382)