Small category¶
A category \mathcal{C} is called small if both \operatorname{ob}(\mathcal{C}) and \operatorname{mor}(\mathcal{C}) are actually sets and not proper classes, and large otherwise.
Core Idea¶
Small category is treated here as the recurring mathematicslogicstatistics identity summarized by this source-grounded definition: A category \mathcal{C} is called small if both \operatorname{ob}(\mathcal{C}) and \operatorname{mor}(\mathcal{C}) are actually sets and not proper classes, and large otherwise. In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object.
Scope of Application¶
-
Definition. a domain or source class function \operatorname{dom} : \operatorname{mor}(\mathcal{C}) \to \operatorname{ob}(\mathcal{C}) ,.
-
Definition. a codomain or target class function \operatorname{cod} : \operatorname{mor}(\mathcal{C}) \to \operatorname{ob}(\mathcal{C}) ,.
-
Definition. Often the map assigning each object its identity morphism is treated as an extra part of the structure of a category, namely a class function i : \operatorname{ob}(\mathcal{C}) \to.
-
Small and large categories. Large categories on the other hand can be used to create "structures" of algebraic structures.
-
Examples. The class of all sets (as objects) together with all functions between them (as morphisms), where the composition of morphisms is the usual function composition, forms a large category, Set.
Clarity¶
A clear use of Small category names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is A category \mathcal{C} is called small if both \operatorname{ob}(\mathcal{C}) and \operatorname{mor}(\mathcal{C}) are actually sets and not proper classes, and large otherwise.
Manages Complexity¶
Small category compresses multiple mathematicslogicstatistics details into a stable diagnostic relation. The source shows both the central mechanism—the category Rel consists of all sets (as objects) with binary relations between them (as morphisms).—and the practical consequence—the category Cat consists of all small categories, with functors between them as morphisms. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit.
Abstract Reasoning¶
- Type the carrier. Identify the mathematicslogicstatistics entities to which the claim applies.
- State the relation. Use the source-grounded identity: A category \mathcal{C} is called small if both \operatorname{ob}(\mathcal{C}) and \operatorname{mor}(\mathcal{C}) are actually sets and not proper classes, and large otherwise.
- Check operation and conditions. The existence of identity morphisms and the composability of the morphisms are guaranteed by the reflexivity and the transitivity of the preorder.
- Demand recognition evidence.
Knowledge Transfer¶
Within the home domain. Knowledge about Small category transfers literally when a new case preserves the same carrier type, relation, and recognition test. a domain or source class function \operatorname{dom} : \operatorname{mor}(\mathcal{C}) \to \operatorname{ob}(\mathcal{C}) ,. a codomain or target class function \operatorname{cod} : \operatorname{mor}(\mathcal{C}) \to \operatorname{ob}(\mathcal{C}) ,. Beyond the home domain. No canonical parent is asserted for Small category. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.
Neighborhood in Abstraction Space¶
Small category sits in a moderately populated region (43rd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Unclustered & Miscellaneous (2551 abstractions)
Nearest neighbors
- Subfunctor — 0.89
- Hochschild homology — 0.87
- Topos — 0.87
- Skeleton (category theory) — 0.87
- Group Ring — 0.86
Computed from structural-signature embeddings · 2026-10-08