Timeline for Does "finitely presented" mean "always finitely presented"? (Answered: Yes!)
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 20, 2022 at 11:17 | history | edited | Tim Campion | CC BY-SA 4.0 |
edited body
|
| Mar 20, 2022 at 11:12 | comment | added | Tim Campion | @VladimirSotirov Yes, in general if $B,C$ are $\kappa$-presentable objects in a locally $\kappa$-presentable category $\mathcal K$, then any morphism $B \to C$ is $\kappa$-presentable in the locally $\kappa$-presentable category $\mathcal K_{B/}$. | |
| Mar 20, 2022 at 6:13 | comment | added | Vladimir Sotirov | Is the hypothesis that $B$ and $C$ are $\kappa$-presentable used to conclude that $B\twoheadrightarrow C$ is $\kappa$-presentable as an object of $K_{B/}$? | |
| Jan 31, 2021 at 0:57 | history | answered | Tim Campion | CC BY-SA 4.0 |