Limits of small functors

Abstract

For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion under colimits is the V-category PK of small presheaves on K, where a presheaf is small if it is a left Kan extension of some presheaf with small domain. We study the existence of limits and of monoidal closed structures on PK.

17 pages

Cited by in corpus (42)

• Notions of Lawvere theory
• Calculus of functors and model categories II
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Exact completions and small sheaves
• Lex colimits
• Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions
• Enriched indexed categories
• Adjunctions in Quantaloid-enriched Categories
• Enriched algebraic theories and monads for a system of arities
• Lax orthogonal factorisation systems
• A fibrational study of realizability toposes
• Homotopy theory of small diagrams over large categories
• Virtual concepts in the theory of accessible categories
• Duality and small functors
• Kan extensions are partial colimits
• A double-dimensional approach to formal category theory
• Accessibility and presentability in 2-categories
• Accessible categories with a class of limits
• Towards Higher Topology
• Homotopy theory of relative simplicial presheaves
• At the Interface of Algebra and Statistics
• Flat replacements of homology theories
• Formal Model Theory & Higher Topology
• Formulating Categorical Concepts using Classes
• Not every pseudoalgebra is equivalent to a strict one
• Two-dimensional regularity and exactness
• Cocompletion of restriction categories
• Automata in the Category of Glued Vector Spaces
• Adjoint functor theorems for lax-idempotent pseudomonads
• Flatness, weakly lex colimits, and free exact completions
• Dualities in the theory of accessible categories
• Exponentiable Grothendieck categories in flat Algebraic Geometry
• The effective model structure and $\infty$-groupoid objects
• A classification of small linear functors
• Categorifying measure theory: a roadmap
• A variant of a Dwyer-Kan theorem for model categories
• More on soundness in the enriched context
• Nerves of generalized multicategories
• A characterisation of algebraic exactness
• Animated Condensed Sets and Their Homotopy Groups
• An elementary characterisation of sifted weights
• On The Existence Of Category Bicompletions