Local Presentability of Certain Comma Categories

摘要

It follows from standard results that if A and C are locally.-presentable categories and F : A. C is a.-accessible functor, then the comma category IdC. F is locally.-presentable. We show that, under the same hypotheses, F.IdC is also locally lambda-presentable.