# nLab class-locally presentable category

Contents

category theory

## Applications

#### Limits and colimits

limits and colimits

# Contents

## Idea

The notion of a class-locally presentable category is a generalisation of that of a locally presentable category: In a class-locally presentable category one may need a proper class of objects (instead of just a small set) to build all the others by suitable colimits.

## Definition

Let $\lambda$ be a regular cardinal, and let the category $C$ be complete and cocomplete. Then $C$ is called class $\lambda$-presentable if there is a class $A \subset C$ of $\lambda$-presentable objects such that every object of $C$ is a $\lambda$-filtered colimit of objects in $A$. A category is class-locally presentable if it is class $\lambda$-presentable for some $\lambda$.

If $C$ merely has $\lambda$-filtered colimits, rather than all colimits (and limits), then it is called class $\lambda$-accessible, and class-accessible if it is class $\lambda$-accessible for some $\lambda$.

• macrotopos?

## References

Last revised on May 4, 2020 at 01:45:04. See the history of this page for a list of all contributions to it.