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

DOI10.1007/BF00872987zbMATH Open0787.18007MaRDI QIDQ690382FDOQ690382

Authors: Max Kelly, Stephen Lack 

Publication date: 15 May 1994

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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)

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

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)