Subdivided interval categories

In category theory (mathematics) there exists an important collection of categories denoted $[n]$ for natural numbers $n\in \mathbb{\mathbb{N}}$. The objects of $[n]$ are the integers $0,1,2,\dots ,n$, and the morphism set $Hom(i,j)$ for objects $i,j\in [n]$ is empty if $j<i$ and consists of a single element if $i\le j$.

Subdivided interval categories are very useful in defining simplicial sets. The category whose objects are the subdivided interval categories and whose morphisms are functors is often written $\mathrm{\Delta }$ and is called the simplicial indexing category. A simplicial set is just a contravariant functor $X:{\mathrm{\Delta }}^{op}\to Sets$.

Examples

The category 𝟘 is an empty interval, that is, an empty category, having no objects nor morphisms. It is an initial object in the category of all categories.

The category [0], also denoted as 𝟙, is a one-object, one-morphism category. It is the terminal object in the category of all categories.

The category [1], also denoted as 𝟚 has two objects and a single (non-identity) morphism between them. If ${𝒞}$ is any category, then ${{𝒞}}^{[1]}$ is the category of morphisms and commutative squares in ${𝒞}.$

The category [2], also denoted as 𝟛 has three objects and three non-identity morphisms.

References

MacLane, S. Categories for the working mathematician.

This article "Subdivided interval categories" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Subdivided interval categories. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.

📰 Article(s) of the same category(ies)

• Stereotype algebra
• Injective cogenerator
• Structure (category theory)
• Functorial programming
• Charity (programming language)
• Associativity isomorphism

---