>>820 補足

で。IUTの圏論は スタンダードな圏論だと 思いますけどね ;p)