We'll only use as much category theory as is necessary. Famous last words... — Roman Abramovich Copy Share Image
