symmetric monoidal (∞,1)-category of spectra
Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
A category with arities is a category equipped with a “small presentation” of its objects.
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.
Created on December 30, 2018 at 06:24:56. See the history of this page for a list of all contributions to it.