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)

Review text

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.

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)