scientific article

Publication date: 1982

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1982__23_1_3_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

locally presentable category enriched category theory locally finitely presentable categories symmetric monoidal closed category finitary algebraic theory strong generator cocomplete co- wellpowered

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (84)

On absolute algebraic geometry the affine case ⋮ Freyd categories are enriched Lawvere theories ⋮ Exponentiable Grothendieck categories in flat algebraic geometry ⋮ Categorical aspects of data type constructors ⋮ Lawvere theories enriched over a general base ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ A categorical view of varieties of ordered algebras ⋮ On homotopy varieties ⋮ Sigma limits in 2-categories and flat pseudofunctors ⋮ Generic models for computational effects ⋮ Discrete Lawvere theories and computational effects ⋮ Approximate injectivity ⋮ Accessibility and presentability in 2-categories ⋮ Enrichment through variation ⋮ Metric monads ⋮ Enriched Tannaka reconstruction ⋮ Proarrows and cofibrations ⋮ Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ Two-dimensional monad theory ⋮ Localisation of locally presentable categories ⋮ Combining algebraic effects with continuations ⋮ Functional distribution monads in functional-analytic contexts ⋮ Flat vs. filtered colimits in the enriched context ⋮ Limits of small functors ⋮ Unnamed Item ⋮ Liminf convergence in \(\Omega\)-categories ⋮ On continuity of accessible functors ⋮ Grothendieck enriched categories ⋮ Virtual concepts in the theory of accessible categories ⋮ Unnamed Item ⋮ Accessible categories with a class of limits ⋮ Enriched purity and presentability in Banach spaces ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Tensor products of finitely cocomplete and abelian categories ⋮ Which abelian tensor categories are geometric? ⋮ Metric enrichment, finite generation, and the path coreflection ⋮ Commutativity ⋮ Excision of skein categories and factorisation homology ⋮ On notions of compactness, object classifiers, and weak Tarski universes ⋮ Structured handling of scoped effects ⋮ Quasivarieties and varieties of ordered algebras: regularity and exactness ⋮ Sweedler theory of monads ⋮ Flatness, weakly lex colimits, and free exact completions ⋮ Accessible aspects of 2-category theory ⋮ Notions of Lawvere theory ⋮ On operads, bimodules and analytic functors ⋮ Pseudo-commutativity of KZ 2-monads ⋮ Lex colimits ⋮ Enriched weakness ⋮ Uniformly constructive monads ⋮ On the tensor product of well generated dg categories ⋮ Enriched Locally Generated Categories ⋮ Unnamed Item ⋮ Locally bounded enriched categories ⋮ Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads ⋮ Tensors of Comodels and Models for Operational Semantics ⋮ Monads and theories ⋮ 2-nerves for bicategories ⋮ Barr's embedding theorem for enriched categories ⋮ Operads Revisited ⋮ Combining effects: sum and tensor ⋮ Icons ⋮ Unnamed Item ⋮ Commutants for enriched algebraic theories and monads ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ Kauffman skein algebras and quantum Teichmüller spaces via factorization homology ⋮ Flexible limits for 2-categories ⋮ Enriched regular theories ⋮ Algebraic theories and commutativity in a sheaf topos ⋮ On locales of localizations ⋮ The balanced tensor product of module categories ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages ⋮ A 2-Categories Companion ⋮ Approximate injectivity and smallness in metric-enriched categories ⋮ The exact completion for regular categories enriched in posets ⋮ Unnamed Item ⋮ Algebraic structure for bicategory enriched categories ⋮ Gabriel-Ulmer duality for categories enriched in bicategories ⋮ The formal theory of monads. II ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads ⋮ Rigidification of algebras over essentially algebraic~theories ⋮ Adjoint functor theorems for homotopically enriched categories

Cites Work

This page was built for publication: