[fspeech]

If you write out your statements encoded in say ZFC no one would recognize what you are saying. Sometimes the concept of sets and set relationships fit our needs exactly. Other times we build more user friendly concepts on top of set theory like an API. Categorial constructions are also everywhere whether one recognizes them or not.