Category of Small Categories¶

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

Version: v1 · 2026-09-28 · History
Domain-specific #: 8366
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Category Theory → Mathematics

Core Idea¶

Category of Small Categories is treated here as the recurring mathematics, logic, and statistics identity summarized by this source-grounded definition: In mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories. In mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories. Cat may actually be regarded as a 2-category with natural transformations serving as 2-morphisms.

How would you explain it like I'm…

The Giant Picture Collection

A category is like a picture made of dots and arrows that can be chained together. The category of small categories is a giant collection of all these not-too-big pictures, with 'copying rules' that turn one picture into another while keeping the arrows' chains working. It is so giant that it can't include itself.

The Club of Small Categories

In category theory, a category is a collection of objects and arrows between them that follow certain rules. A category is "small" if its objects and arrows form a set — roughly, it isn't too huge. Cat is the category whose objects are all the small categories and whose arrows are functors, which are maps between categories that keep the arrows lined up. Cat itself is too big to be small, so it can't include itself. That's on purpose: trying to build a "category of all categories" causes a paradox.

Cat: Small Categories and Functors

The category of small categories, Cat, has small categories as objects — categories whose objects and arrows form sets — and functors between them as morphisms. A functor sends objects to objects and arrows to arrows while respecting identities and composition. Cat also has a higher layer: natural transformations between functors act as '2-morphisms', so Cat can be seen as a 2-category. Its initial object is the empty category 0 (no objects, no arrows), and its terminal object is the trivial category 1 with one object and one arrow. Cat is itself a large category, so it isn't an object of itself; this restriction to small categories is what avoids a problem like Russell's paradox, which would arise from a 'category of all categories'.

In category theory, Cat is the category whose objects are all small categories — those whose collections of objects and morphisms are sets — and whose morphisms are functors, composed in the ordinary way with identity functors as identities. Cat carries additional structure: natural transformations between functors serve as 2-morphisms, making Cat a 2-category rather than merely a category. Its initial object is the empty category 0, with no objects and no morphisms, and its terminal object is the trivial category 1, with a single object and its identity morphism. Cat itself is a large category, since the collection of all small categories is not a set, so Cat is not an object of itself. Restricting to small categories is precisely how one avoids a Russell-style paradox; there is no consistent 'category of all categories' containing itself.

Scope of Application¶

Free category. The category Cat has a forgetful functor U into the quiver category Quiv.
Free category. This functor forgets the identity morphisms of a given category, and it forgets morphism compositions.
Free category. The left adjoint of this functor is a functor F taking Quiv to the corresponding free categories.
1-Categorical properties. Cat is a Cartesian closed category, with exponential D^C given by the functor category \mathrm{Fun}(C, D) .
1-Categorical properties. Cat has all small limits and colimits.

Clarity¶

A clear use of Category of Small Categories names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories.

Manages Complexity¶

Category of Small Categories compresses multiple mathematics, logic, and statistics details into a stable diagnostic relation. The source shows both the central mechanism—in mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories.—and the practical consequence—cat has all small limits and colimits.

Abstract Reasoning¶

Type the carrier. Identify the mathematics, logic, and statistics entities to which the claim applies.
State the relation. Use the source-grounded identity: In mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories.
Check operation and conditions. The category Cat has a forgetful functor U into the quiver category Quiv.
Demand recognition evidence.

Knowledge Transfer¶

Within the home domain. Knowledge about Category of Small Categories transfers literally when a new case preserves the same carrier type, relation, and recognition test. The category Cat has a forgetful functor U into the quiver category Quiv. This functor forgets the identity morphisms of a given category, and it forgets morphism compositions. Beyond the home domain. No canonical parent is asserted for Category of Small Categories. 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.

Relationships to Other Abstractions¶

Current abstraction Category of Small Categories Domain-specific

Parents (1) — more general patterns this builds on

Category of Small Categories is a kind of Category Prime

Category of Small Categories is a domain-specific kind of category under its frozen identity and differentia. Complete-catalog comparison found the corresponding live broader identity.

Hierarchy paths (3) — routes to 3 parentless roots

Category of Small Categories → Category → Associativity → Invariance

Show alternative paths (2)

Neighborhood in Abstraction Space¶

Category of Small Categories sits in a sparse region of the domain-specific corpus (63^rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08