Full Subcategory: Δ ⊊ Cat

Δ is a full subcategory of Cat. When any two categories of Cat are the inhabited simplices in Δ, all functors between them are monotone maps in Δ too. Put another way, Δ has only some of the objects of Cat, but all of the arrows.

In terms of stuff, structure, and properties, the inhabited simplices are like categories but with extra properties.

full_subcategories: Δ, Cat

This data as json