Locally bounded enriched categories

MaRDI QIDQ5080356zbMATH OpenFDO

Authors Rory B. B. Lucyshyn-Wright, Jason Parker

Publication date 31 May 2022

Full work available at URL https://arxiv.org/abs/2110.07072, http://www.tac.mta.ca/tac/volumes/38/18/38-18abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

closed categoryconcrete quasitoposenriched category theoryfactorization systemlimit sketchlimit theorylocally bounded categorylocally presentable categoryorthogonal subcategorytopological category

Mathematics Subject Classification ID

Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special categories (18B99) Theories (e.g., algebraic theories), structure, and semantics (18C10) Sketches and generalizations (18C30) Accessible and locally presentable categories (18C35) Structured objects in a category (group objects, etc.) (18C40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20) Categories of topological spaces and continuous mappings (18F60) Categorical methods in general topology (54B30)

Abstract: We define and study the notion of a locally bounded enriched category over a (locally bounded) symmetric monoidal closed category, generalizing the locally bounded ordinary categories of Freyd and Kelly. In addition to proving several general results for constructing examples of locally bounded enriched categories and locally bounded closed categories, we demonstrate that locally bounded enriched categories admit fully enriched analogues of many of the convenient results enjoyed by locally bounded ordinary categories. In particular, we prove full enrichments of Freyd and Kelly's reflectivity and local boundedness results for orthogonal subcategories and categories of models for sketches and theories. We also provide characterization results for locally bounded enriched categories in terms of enriched presheaf categories, and we show that locally bounded enriched categories admit useful adjoint functor theorems and a representability theorem. We also define and study the notion of $alpha$-bounded-small weighted limit enriched in a locally $alpha$-bounded closed category, which parallels Kelly's notion of $alpha$-small weighted limit enriched in a locally $alpha$-presentable closed category, and we show that enriched categories of models of $alpha$-bounded-small weighted limit theories are locally $alpha$-bounded.

Recommendations

• V-Cat is locally presentable or locally bounded if V is so
• On boundedness and small-orthogonality classes
• scientific article; zbMATH DE number 3855352
• scientific article; zbMATH DE number 1167911
• Gabriel-Ulmer duality for categories enriched in bicategories

Cites work

• V-Cat is locally presentable or locally bounded if V is so
• A Convenient Category for Higher-Order Probability Theory
• A reflection theorem for closed categories
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Abstract and concrete categories: the joy of cats
• Categories of continuous functors. I
• Commutants for enriched algebraic theories and monads
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory
• Convenient categories of smooth spaces
• Enriched algebraic theories and monads for a system of arities
• Enriched factorization systems
• Enriched locally generated categories
• Free monads and the orthogonal subcategory problem
• Functional distribution monads in functional-analytic contexts
• scientific article; zbMATH DE number 4017139 (Why is no real title available?)
• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• scientific article; zbMATH DE number 3953031 (Why is no real title available?)
• scientific article; zbMATH DE number 3971006 (Why is no real title available?)
• scientific article; zbMATH DE number 19493 (Why is no real title available?)
• scientific article; zbMATH DE number 3506933 (Why is no real title available?)
• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 2028925 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 2236038 (Why is no real title available?)
• Kan extensions in enriched category theory
• Monoidal topology. A categorical approach to order, metric, and topology
• Notions of Lawvere theory
• On boundedness and small-orthogonality classes
• The closure of a class of colimits
• The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}

Cited in

(12)

• On the representation type of locally bounded categories
• On a class of self-injective locally bounded categories
• V-Cat is locally presentable or locally bounded if V is so
• LOCALLY COMPACT OBJECTS IN EXACT CATEGORIES
• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• On boundedness and small-orthogonality classes
• scientific article; zbMATH DE number 4073252 (Why is no real title available?)
• Enriched locally generated categories
• Presentations and algebraic colimits of enriched monads for a subcategory of arities
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
• More on soundness in the enriched context
• Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities

This page was built for publication: Locally bounded enriched categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5080356)