what emerges from this structure?
isomorphism
it is raining <-> rain is falling from the sky
user ids <-> ssns VS user ids -> first names
universal properties
everything as relational
terminal, initial objects
“bestness” and uniqueness
limits, products
enriched categories
morphisms with structure
$\infty$-categories
morphisms between morphisms (and beyond)