21/12/02 19:10:31.64 oJ/5jd2h.net
Rovertsの視点は標準的(オーソドックス)な圏論数学の立場だな。
I maintain, with good reason, that the type of reasoning in the note is what the so-called ‘RCS’ is doing.
It is standard category theory and standard mathematics.
一方、IUT論文は核心部を定理でなく
cor.3.12系で証明を省略し指摘されたら後付けで改変を試みる
数学としてどうなんだろ？？