Gambit thinks I've done quite enough category theory for one day.