For questions about locally presentable categories.
A locally small cocomplete category $\mathcal{C}$ is called locally presentable if there exists a regular cardinal $\lambda$ such that $\mathcal{C}$ is generated under $\lambda$-filtered colimits by a set of $\lambda$-small objects.
These categories can be characterized as the categories of models of limit sketches.
|
created |
8 months ago |
|
viewed |
14 times |
|
active |
8 months ago |
|
editors |
2 |
