Search
❯
Dec 08, 20251 min read
A simplex category Δa is a full subcategory of Cat on linear orders.