# nLab category with arities

Categories with arities

### Context

#### Algebra

higher algebra

universal algebra

## Theorems

#### 2-Category theory

2-category theory

Definitions

Transfors between 2-categories

Morphisms in 2-categories

Structures in 2-categories

Limits in 2-categories

Structures on 2-categories

# Categories with arities

## Idea

A category with arities is a category equipped with a “small presentation” of its objects.

## Definition

A category with arities is a locally small category $\mathcal{E}$ equipped with a small full subcategory $\mathcal{A} \subseteq \mathcal{E}$ which is dense, in the sense that the restricted Yoneda embedding $\mathcal{E} \to [\mathcal{A}^{op},Set]$ is fully faithful.

A functor with arities or arity-respecting functor $F : (\mathcal{E},\mathcal{A}) \to (\mathcal{F},\mathcal{B})$ is a functor $F:\mathcal{E}\to\mathcal{F}$ such that the composite $\mathcal{E} \xrightarrow{F} \mathcal{F} \to [\mathcal{B}^{op},Set]$ preserves the density colimits for $\mathcal{A}$ in $\mathcal{E}$, i.e. such that for any $X\in\mathcal{E}$ and $B\in\mathcal{B}$ the canonical map $\colim^{A\in \mathcal{A} \atop A \to X} \mathcal{F}(B,F A) \to \mathcal{E}(B,F X)$ is an isomorphism of sets.

A natural transformation with arities is just an ordinary natural transformation between functors with arities.

This defines the 2-category of categories with arities. Note that since a natural transformation with arities is determined by its action on the generating objects $\mathcal{A}$, there is only a small set of natural transformations between any two functors with arities. Thus, even though the 2-category of categories with arities is “very large”, its hom-categories are locally small.

## References

Created on December 30, 2018 at 06:24:56. See the history of this page for a list of all contributions to it.