what emerges from this structure?
diagrams commute
isomorphism
universal properties
terminal, initial objects
“bestness” and uniqueness
limits, products
enriched categories
morphisms with structure
$\infty$-categories
morphisms between morphisms (and beyond)