TY - JOUR
T1 - On continuity of accessible functors
AU - Tendas, Giacomo
PY - 2022/10
Y1 - 2022/10
N2 - We prove that for each locally α-presentable category K there exists a regular cardinal γ such that any α-accessible functor out of K (into another locally α-presentable category) is continuous if and only if it preserves γ-small limits; as a consequence we obtain a new adjoint functor theorem specific to the α-accessible functors out of K. Afterwards we generalize these results to the enriched setting and deduce, among other things, that a small V-category is accessible if and only if it is Cauchy complete.
AB - We prove that for each locally α-presentable category K there exists a regular cardinal γ such that any α-accessible functor out of K (into another locally α-presentable category) is continuous if and only if it preserves γ-small limits; as a consequence we obtain a new adjoint functor theorem specific to the α-accessible functors out of K. Afterwards we generalize these results to the enriched setting and deduce, among other things, that a small V-category is accessible if and only if it is Cauchy complete.
UR - https://researchers.mq.edu.au/en/publications/f2b04cb9-042d-463a-9733-0bc3dc3e8a5b
U2 - 10.1007/s10485-022-09677-x
DO - 10.1007/s10485-022-09677-x
M3 - Article
SN - 0927-2852
JO - Applied Categorical Structures
JF - Applied Categorical Structures
ER -