Mac Lane and Eilenberg designed category theory to sidestep set-theoretic paradoxes structurally, no...