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)

Full work available at URL https://doi.org/10.1007/BF00872987

zbMATH Keywords

2-category2-monadsenriched categoriesKan extensionmonadsproducts

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

• 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
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• On product-preserving Kan extensions

Cited in

(27)

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

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)