>>265
>圏論だから、はい 図式で簡単に言語で説明できますとかには ならない気がします
>IUT III 独自の添え字が 沢山ついている
>添え字の意味を押えながら このdiagramを言語化・コード化する必要があります
ならばそれは数式の説明およびコード化の面倒さですね
それは本文部分には無いものですか？
図式にのみそのような面倒な数式が使われていて
その説明や参照が本文には無い？