圏論ってZFCの範疇では議論出来ないと思うのだが、BG集合論を土台としてなら議論出来るということ？
とにかく明確な記号論理の土俵の上で圏論を展開している圏論の基礎部分を解説してる講義資料等あれば教えて下さい