Locally bounded enriched categories

zbMath1493.18001arXiv2110.07072MaRDI QIDQ5080356

Jason Parker, Rory B. B. Lucyshyn-Wright

Publication date: 31 May 2022

Full work available at URL: https://arxiv.org/abs/2110.07072

zbMATH Keywords

locally presentable categorytopological categoryfactorization systemlimit theoryenriched category theoryclosed categoryconcrete quasitoposorthogonal subcategorylocally bounded categorylimit sketch

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical methods in general topology (54B30) Special categories (18B99) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) 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) Accessible and locally presentable categories (18C35) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Enriched categories (over closed or monoidal categories) (18D20) Categories of topological spaces and continuous mappings (18F60) Sketches and generalizations (18C30) Structured objects in a category (group objects, etc.) (18C40)

Related Items

Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities

Cites Work

• Notions of Lawvere theory
• Commutants for enriched algebraic theories and monads
• The closure of a class of colimits
• Free monads and the orthogonal subcategory problem
• Functional distribution monads in functional-analytic contexts
• The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Kan extensions in enriched category theory
• A reflection theorem for closed categories
• Categories of continuous functors. I
• Enriched algebraic theories and monads for a system of arities
• Monoidal Topology
• Enriched factorization systems
• Convenient categories of smooth spaces
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Enriched Locally Generated Categories
• A Convenient Category for Higher-Order Probability Theory
• Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item