On local presentability of T/A

07/06/2018

∙

by   Patricia Johann, et al.

∙

0

∙

share

We prove that if A is a locally λ-presentable category and T : A→A is a λ-accessible functor then T/A is locally λ-presentable.