“But category theory, like the New York marathon, is more about the journey and what you see along the way.” — Eugenia Cheng Copy Share Image
We'll only use as much category theory as is necessary. Famous last words... — Roman Abramovich Copy Share Image