>>568 Would you say that if set theory is the skeleton, then category theory is the connecting tissue?