We'll only use as much categor...
We'll only use as much category theory as is necessary. Famous last words...