Limits of small functors
Brian J. Day, Stephen Lack
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.
Create a lesson
Related papers
Failure of Higher-Order Truth within Intuitionistic Propositional Logic
Lingyuan Ye, Yiqi Xu
Finitistic dimensions in triangulated categories with a compact silting generator
Xiaoyan Yang
De Morgan's Laws in Tensor-Triangular Geometry
Mark Lyttle
Absolute colimits
Richard Garner, Ross Street
A Categorical Framework for the Direct Integration of Banach Spaces
Daniel Funck, Giacomo Gavelli
The Cofree Functor on G-Sets and Its Approximations
Frank Murphy-Hernandez