universal properties

everything as relational

terminal, initial objects

“bestness” and uniqueness

limits, products