We prove that if AA is a locally λλ-presentable category and T:A→AT:A→A is a λλ-accessible functor then T/AT/A is locally λλ-presentable.
生成讲解博客的中文版本
生成AI智能校验的中文版本