Cosmos (category theory)

A complete and cocomplete symmetric closed monoidal category chosen as the base of enrichment for categories, functors, natural transformations, limits and tensors.

Version

v2 · 2026-09-19 · History

Domain-specific #

3930

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Enriched Category Theory → Mathematics

Core Idea

A cosmos supplies hom-objects, tensor product, internal hom, unit, all small limits and colimits, allowing ordinary, additive, topological, simplicial and other enriched category theories to share one formal architecture. The monoidal product composes enriched hom-objects, closedness internalizes maps as objects, symmetry exchanges tensor factors, and completeness-cocompleteness supplies enriched constructions indexed by small diagrams. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

 

No faithful explanation at this level. All three generators agree any five-year-old picture collapses a cosmos into 'a big universe or box of things', losing that it is a specific base category defined by tensor product, unit, internal hom and small limits/colimits over which other categories are enriched.

A Well-Stocked Arrow World

Mathematicians study 'categories': collections of things with arrows between them. Sometimes the arrows between two things are not just a list but form something richer, like a number, a shape, or a group. A cosmos is a well-equipped world for holding those arrow-collections: it has a way to combine them so arrows can be chained, a way to turn 'maps between collections' into another collection, and enough room to glue and cut along any small pattern. Because many different worlds have all these tools, one set of rules works for all of them.

Base Category for Enrichment

In category theory you can 'enrich' a category so that the collection of arrows between two objects is an object of some other category V, not just a set. A cosmos is a V that is good enough to do this fully. It has a tensor product with a unit (so hom-objects can be composed), it is closed (maps between objects form an internal hom-object), it is symmetric (tensor factors can be swapped), and it has all small limits and colimits. With those tools, ordinary, additive, topological, simplicial and other kinds of category theory become special cases of one framework. What makes something a cosmos is having all of these structures stated explicitly, not merely resembling one of those examples.

 

A cosmos is a base category V suited for enriched category theory: it supplies the hom-objects of V-categories together with a symmetric monoidal structure (tensor product, unit, associator, unitors and symmetry), closedness (an internal hom right adjoint to tensoring, the tensor-hom adjunction), and completeness and cocompleteness for small diagrams. The monoidal product is what lets enriched hom-objects compose, closedness internalizes maps as objects, symmetry exchanges tensor factors, and small limits and colimits supply enriched constructions such as weighted limits indexed by small diagrams. Choosing sets, abelian groups, topological spaces or simplicial sets as the cosmos recovers ordinary, additive, topological and simplicial category theory in a single formal architecture. The identity of a particular cosmos depends on stating the base category and size universe, the monoidal data, the internal hom, the scope of completeness, the enrichment convention, and any extra assumptions such as local presentability or a model structure. Substituting a merely monoidal or non-complete base gives a neighboring but different notion.

Scope of Application

Cosmos (category theory) belongs to enriched category theory and is useful where the analyst can specify the typed enriched category theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the base category and size universe, tensor product and unit, associator-unitors and symmetry, internal hom and tensor-hom adjunction, completeness and cocompleteness scope, enrichment convention, and any local presentability or model structure assumed are explicit. The scope is broad within that domain but bounded by the need for the base category and size universe, tensor product and unit, associator-unitors and symmetry, internal hom and tensor-hom adjunction, completeness and cocompleteness scope, enrichment convention, and any local presentability or model structure assumed are explicit.

Clarity

The abstraction clarifies a crowded vocabulary by making the base category and size universe, tensor product and unit, associator-unitors and symmetry, internal hom and tensor-hom adjunction, completeness and cocompleteness scope, enrichment convention, and any local presentability or model structure assumed are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Cosmos (category theory). Cosmos (category theory) compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

1. Identify the carrier. State what the elements, states, objects, or observations are: the typed enriched category theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
2. Lock the constitutive rule. Express the base category and size universe, tensor product and unit, associator-unitors and symmetry, internal hom and tensor-hom adjunction, completeness and cocompleteness scope, enrichment convention, and any local presentability or model structure assumed are explicit independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of enriched category theory because they reuse the typed enriched category theory carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, The monoidal product composes enriched hom-objects, closedness internalizes maps as objects, symmetry exchanges tensor factors, and completeness-cocompleteness supplies enriched constructions indexed by small diagrams., and type the carrier, state every parameter and convention in the definition, test that the base category and size universe, tensor product and unit, associator-unitors and symmetry, internal hom and tensor-hom adjunction, completeness and cocompleteness scope, enrichment convention, and any local presentability or model structure assumed are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Current abstraction Cosmos (category theory) Domain-specific

Parents (1) — outgoing typed relations

• Cosmos (category theory) is a kind of Formal System Prime

  It remains its own entry because its identity is fixed by the base category and size universe, tensor product and unit, associator-unitors and symmetry, internal hom and tensor-hom adjunction, completeness and cocompleteness scope, enrichment convention, and any local presentability or model structure assumed.

Hierarchy paths (2) — routes to 2 parentless roots

• Cosmos (category theory) → is a kind of Formal System → presupposes Formalization → presupposes Representation → presupposes Abstraction

Show alternative path (1)

Neighborhood in Abstraction Space

Cosmos (category theory) sits in a crowded region of the domain-specific corpus (9^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Category Theory Foundations (48 abstractions)

Nearest neighbors

• Topological category (enriched category theory) — 0.93
• Cartesian closed category — 0.92
• Ind-completion — 0.92
• Category theory — 0.92
• Generator (category theory) — 0.92

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