加载中…
We investigate under which condition the -ind completion of a functor category is equivalent to the category of functors from to the -ind completion of . A published theorem implies this is true for any Cauchy complete category and -small category , but we show this is not the case in general. We prove two results that seem to cover all applications of this incorrect theorem we could find in the literature: The result holds if has -small colimits and is -small, or if is an arbitrary category and is well-founded and -small. In both cases, we show that the conditions are optimal in the sense that the result holds for all if and only if satisfies the given assumption.

生成讲解博客的中文版本

生成AI智能校验的中文版本