specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms...

as the category of sets), although not small, are at least locally small. Since, in small categories, the objects form a set, a small category can be...

into monoidal categories. Monoidal categories can be seen as a generalization of these and other examples. Every (small) monoidal category may also be viewed...

(n − 1)-morphisms gives an n-category. Just as the category known as Cat, which is the category of small categories and functors is actually a 2-category with natural...

concrete categories, such as the category of groups or the category of topological spaces. Category of topological spaces Set theory Small set (category theory)...

consideration of the word 'have' and its usage. Isagoge Category of being Categorization Category (Kant) Schema (Kant) Categories (Stoic) Category (disambiguation)...

between categories. They can be thought of as morphisms in the category of all (small) categories. A (covariant) functor F from a category C to a category D...

morphisms of the ordinary category C(a, b) and its own composition rule. Locally small categories are categories enriched over (SmSet, ×), the category of small...

also refer to a category with a monoidal-category action. The categories of left and right modules are abelian categories. These categories have enough projectives...

spaces Cat, the category of all small categories Whl, the category of wheels sSet, the category of simplicial sets The following categories are finitely...