>>259
いつもの通りに
いつまでも無意味な脱線をする他ないようです
圏とはどういうものであるか理解できないのは
図式とはどういうものか理解していないからです
だから>>220
>いまどき パワポで図解はあたりまえ
>数学でも厳密性を保持しながら 図解を駆使して
>分かり易くするテクニックはある
>圏論の良いところの一つはこれだろう
という腰砕けになることしか書けません
>しかし、コンピューター検証に乗せるとき
>図を言葉に直さないといけないよね
既に半分コード化されているようなものですから
文章表現による論証よりは楽ではないですかね
とはいえこれはその筋の専門家に聞かねばならないことではあるでしょう