On local presentability of T/A
classification
🧮 math.CT
cs.LOmath.LO
keywords
mathcallambdalocallypresentableaccessiblecategoryfunctorlocal
read the original abstract
We prove that if $\mathcal{A}$ is a locally $\lambda$-presentable category and $T : \mathcal{A} \to \mathcal{A}$ is a $\lambda$-accessible functor then $T/\mathcal{A}$ is locally $\lambda$-presentable.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.