Locally bounded enriched categories

zbMATH Open1493.18001arXiv2110.07072MaRDI QIDQ5080356FDOQ5080356

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

Publication date: 31 May 2022

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.

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

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

Recommendations

• \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak 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

zbMATH Keywords

locally presentable categorylimit theorytopological categoryfactorization systemenriched category theoryclosed categoryconcrete quasitoposorthogonal subcategorylocally bounded categorylimit sketch

Mathematics Subject Classification ID

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) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categorical methods in general topology (54B30) Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Categories of topological spaces and continuous mappings (18F60) Sketches and generalizations (18C30) Structured objects in a category (group objects, etc.) (18C40)

Cites Work

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

Cited In (10)

• LOCALLY COMPACT OBJECTS IN EXACT CATEGORIES
• On a class of self-injective locally bounded categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Enriched locally generated categories
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
• \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so
• On boundedness and small-orthogonality classes
• On the representation type of locally bounded categories
• Presentations and algebraic colimits of enriched monads for a subcategory 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)