数学の各理論は集合論を使って記述されるけど
だからといって各理論が集合論と密接に繋がってる訳は無いし
集合論の基礎的でない結果を色々知ってないと証明が出来ない訳も無いし
また集合論を色々知ってるだけで出来る事なんて限られてる

上記の集合論の事情は圏論でも変わらんのにね