English

On local presentability of T/A

Category Theory 2018-07-17 v1 Logic in Computer Science Logic

Abstract

We prove that if A\mathcal{A} is a locally λ\lambda-presentable category and T:AAT : \mathcal{A} \to \mathcal{A} is a λ\lambda-accessible functor then T/AT/\mathcal{A} is locally λ\lambda-presentable.

Keywords

Cite

@article{arxiv.1807.05263,
  title  = {On local presentability of T/A},
  author = {Patricia Johann and Andrew Polonsky},
  journal= {arXiv preprint arXiv:1807.05263},
  year   = {2018}
}
R2 v1 2026-06-23T03:00:58.243Z