>>114
>数学の基礎づけが集合論ではなく圏論でできるということではない
>むしろ圏論もまた集合論で基礎付けできたと考えられる
と
>圏は数学の枠組みを与えるという意味では数学の中で特別な位置にある
は矛盾しない