>>273 追加

あと、圏論もかな
IUTは、従来の圏論と違うのかも

しかし、それならそれで、従来の圏論との差分をとった説明がほしいよね
従来の圏論と、この部分は同じだが、この部分が違うとか

それがないから
混乱するのかもね