加载中…
Are all subcategories of locally finitely presentable categories that are closed under limits and -filtered colimits also locally presentable? For full subcategories the answer is affirmative. Makkai and Pitts proved that in the case the answer is affirmative also for all iso-full subcategories, \emph{i.\thinspace e.}, those containing with every pair of objects all isomorphisms between them. We discuss a possible generalization of this from to an arbitrary .

生成讲解博客的中文版本

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