universal properties
everything as relational
terminal, initial objects
“bestness” and uniqueness
limits, products