Local presentability of certain comma categories (Q2303778): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q127354329, #quickstatements; #temporary_batch_1724910266140 |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10485-019-09574-w / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2969196130 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q127354329 / rank | |||
Normal rank |
Latest revision as of 07:49, 29 August 2024
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