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 mathematics_logic_statistics 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. A simple example is the category of sets, whose objects are sets and whose arrows are functions.
Category theory is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations.
For Small category, the abstraction is narrower than the article's general subject matter: a positive case must preserve 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. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in mathematics_logic_statistics, which is why this identity is domain-specific rather than prime.
Structural Signature¶
Sig role-phrases:
- Defining carrier — For a fixed object X of \mathcal C , the overcategory or slice category \mathcal C/X consists of pairs (A,f) of an object A of \mathcal C and a morphism f:A\to X , with morphisms between (A,f) and (A',f') given by a morphism g:A\to B in \mathcal C compatible with the morphisms to X , i.e. f'\circ g=f .
- Constitutive relation — The category Rel consists of all sets (as objects) with binary relations between them (as morphisms).
- Operating condition — The existence of identity morphisms and the composability of the morphisms are guaranteed by the reflexivity and the transitivity of the preorder.
- Recognition evidence — (Here, x is any fixed set.) The morphisms from x to x are precisely the elements of the monoid, the identity morphism of x is the identity of the monoid, and the categorical composition of morphisms is given by the monoid operation.
- Admissible variation — Such a category is called the free category generated by the graph.
- Characteristic consequence — The category Cat consists of all small categories, with functors between them as morphisms.
- Failure boundary — A category is called cartesian closed if it has finite direct products and a morphism defined on a finite product can always be represented by a morphism defined on just one of the factors.
What It Is Not¶
- Not the whole field of mathematics_logic_statistics. The node requires the specific identity stated by 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.
- Not an over-broad reading. Two different categories may also be considered "equivalent" for purposes of category theory, even if they do not have precisely the same structure.
- Not an over-broad reading. This stems from the idea that the fundamental data of categories are morphisms and not objects.
- Not an over-broad reading. 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.
- Not automatically Category theory. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.
Scope of Application¶
Small category applies literally inside mathematics_logic_statistics wherever the source-defined carrier and relation can be established. Its documented habitats include:
- 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 \operatorname{mor}(\mathcal{C}) .
- 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.
- Examples. It is the most basic and the most commonly used category in mathematics.
Outside mathematics_logic_statistics, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Pattern or should be marked as analogy.
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. The strongest recognition evidence in the frozen account is: (Here, x is any fixed set.) The morphisms from x to x are precisely the elements of the monoid, the identity morphism of x is the identity of the monoid, and the categorical composition of morphisms is given by the monoid operation. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification Two different categories may also be considered "equivalent" for purposes of category theory, even if they do not have precisely the same structure. so that a reader can reproduce the classification rather than infer it from topical resemblance.
Manages Complexity¶
Small category compresses multiple mathematics_logic_statistics 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. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.
Abstract Reasoning¶
- Type the carrier. Identify the mathematics_logic_statistics 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. (Here, x is any fixed set.) The morphisms from x to x are precisely the elements of the monoid, the identity morphism of x is the identity of the monoid, and the categorical composition of morphisms is given by the monoid operation.
- Test variation. Change an implementation or setting while preserving such a category is called the free category generated by the graph.
- Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
- Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Pattern.
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.
Examples¶
Canonical¶
Many important categories in mathematics (such as the category of sets), although not small, are at least locally small. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.
Mapped back: carrier → the entities in the documented case; operation → 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; recognition evidence → (Here, x is any fixed set.) The morphisms from x to x are precisely the elements of the monoid, the identity morphism of x is the identity of the monoid, and the categorical composition of morphisms is given by the monoid operation
Applied / In Practice¶
The dual notion is that of an undercategory or coslice category, and both are special cases of a construction called comma category. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.
Mapped back: changed setting → Construction of new categories; invariant → 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; boundary → the case exits the class when two different categories may also be considered "equivalent" for purposes of category theory, even if they do not have precisely the same structure
Structural Tensions¶
T1 — Stable identity versus admissible variation. Two different categories may also be considered "equivalent" for purposes of category theory, even if they do not have precisely the same structure. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.
Diagnostic: Which changes preserve the defining relation, and which replace it?
T2 — Recognition versus proxy. This stems from the idea that the fundamental data of categories are morphisms and not objects. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.
Diagnostic: Does the cited evidence establish the identity or only a correlated sign?
T3 — Definition versus implementation. 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. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.
Diagnostic: Is the observed implementation constitutive, optional, or merely common?
T4 — Scope versus overextension. Many important categories in mathematics (such as the category of sets), although not small, are at least locally small. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.
Diagnostic: Can every claimed application fill the same typed roles without metaphor?
T5 — Transfer versus domain accent. For a fixed object X of \mathcal C , the overcategory or slice category \mathcal C/X consists of pairs (A,f) of an object A of \mathcal C and a morphism f:A\to X , with morphisms between (A,f) and (A',f') given by a morphism g:A\to B in \mathcal C compatible with the morphisms to X , i.e. f'\circ g=f . The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.
Diagnostic: Does the receiving case instantiate Small category literally, co-instantiate Pattern, or only resemble it?
T6 — Autonomy versus reduction. The category Rel consists of all sets (as objects) with binary relations between them (as morphisms). The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.
Diagnostic: What does Small category distinguish that the broader parent Pattern leaves together?
Structural–Framed Character¶
Small category is structural-leaning. Its structural side is the repeatable organization summarized by 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. Its framed side is the mathematics_logic_statistics vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.
Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: The existence of identity morphisms and the composability of the morphisms are guaranteed by the reflexivity and the transitivity of the preorder. Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.
Its portable skeleton is Pattern. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.
Structural Core vs. Domain Accent¶
What is skeletal. 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. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: For a fixed object X of \mathcal C , the overcategory or slice category \mathcal C/X consists of pairs (A,f) of an object A of \mathcal C and a morphism f:A\to X , with morphisms between (A,f) and (A',f') given by a morphism g:A\to B in \mathcal C compatible with the morphisms to X , i.e. f'\circ g=f . The category Rel consists of all sets (as objects) with binary relations between them (as morphisms). It further constrains recognition and variation through: The existence of identity morphisms and the composability of the morphisms are guaranteed by the reflexivity and the transitivity of the preorder. (Here, x is any fixed set.) The morphisms from x to x are precisely the elements of the monoid, the identity morphism of x is the identity of the monoid, and the categorical composition of morphisms is given by the monoid operation.
What is domain-bound. mathematics logic statistics supplies the operative entities, technical vocabulary, warrants, and exceptions that make Small category literal. Its documented scope includes the condition that a domain or source class function \operatorname{dom} : \operatorname{mor}(\mathcal{C}) \to \operatorname{ob}(\mathcal{C}) ,. Another bounded application condition is that a codomain or target class function \operatorname{cod} : \operatorname{mor}(\mathcal{C}) \to \operatorname{ob}(\mathcal{C}) ,. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.
Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—Such a category is called the free category generated by the graph.—and future graph densification may discover a defensible relation only if it preserves that boundary.
Instantiates / Related Primes¶
- Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Small category. The reviewed identity 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. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
- Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.
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
Not to Be Confused With¶
- Pattern. The parent omits the specialist differentia. Tell: Can the case establish 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?
- Category theory. A mathematical framework studying objects through composable morphisms, identities, functors, natural transformations, and universal properties. Tell: Which entry's carrier, operation, and failure condition are satisfied?
- Category of sets. The category Set whose objects are sets and morphisms are total functions, with function composition, serving as a foundational categorical universe in which products, coproducts, limits, exponentials, and element-based intuitions are realized. Tell: Which entry's carrier, operation, and failure condition are satisfied?
- Elementary theory of abstract categories. Lawvere's first-order axiomatization of categories and functors, treating objects indirectly through identity arrows and composition rather than through set-theoretic membership. Tell: Which entry's carrier, operation, and failure condition are satisfied?
- A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Small category remain present if the detector or downstream effect changed?
- A metaphorical analogue. A similar shape outside mathematics_logic_statistics lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Pattern?
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Category_(mathematics) (revision 1370106434).
- Preserved source candidate: https://books.google.com/books?id=6B9MDgAAQBAJ&pg=PA3
- Preserved source candidate: http://katmat.math.uni-bremen.de/acc/acc.pdf
- Preserved source candidate: https://archive.org/details/categoriestypess00aspe_0
- Preserved source candidate: http://www.tac.mta.ca/tac/reprints/articles/12/tr12abs.html
- Preserved source candidate: https://plato.stanford.edu/entries/category-theory/
- Preserved source candidate: https://books.google.com/books?id=6B9MDgAAQBAJ
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.