Local presentability of certain comma categories (Q2303778)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Local presentability of certain comma categories |
scientific article |
Statements
Local presentability of certain comma categories (English)
0 references
5 March 2020
0 references
It is well known [\textit{J. Adámek} and \textit{J. Rosický}, Locally presentable and accessible categories. Cambridge: Cambridge University Press (1994; Zbl 0795.18007)], Proposition 2.43] that if $A$ and $C$ are $\lambda$-presentable categories and $F:A\rightarrow C$ is a $\lambda$-accessible functor, then $\mathrm{id}_{C}\downarrow F$ is also locally $\lambda$-presentable. This paper establishes that Proposition. If $A$ and $C$ are $\lambda$-presentable categories and $F:A\rightarrow C$ is a $\lambda$-accessible functor, then $F\downarrow\mathrm{id}_{C}$ is also locally $\lambda$-presentable.
0 references
locally presentable category
0 references
accessible category
0 references
accessible functor
0 references
comma category
0 references