>>475
>だからiutの言語規則と推論規則をセタが抜きだきて引用してくれや
>それすらないのに何を議論するんや

下記 「圏論とはなんなのか」
”圏論は基礎論を無視したガバガバ理論”と
”圏論的な基礎論は明らかな循環論法”
を 百回音読してねｗ　；ｐ）

https://takulabo.ｓａｋｕｒａ.ne.jp/notes/math_category_introduction.html
TakuLabo
僕用勉強ノート 「圏論」の巻
圏論とはなんなのか
目次
• 圏論とは
• 圏論の使用用途
• 集合の概念の客観視
• 双対性をフォーマルに捉える
• 自然性のフォーマルな定式化
• 普遍的構成をフォーマルに取り扱うことを可能にする
• 図式追跡の厳密な環境設定
• 数学的構造の計算ツールの基盤
• 抽象的な構造の定式化
• 構造が付随するべきものを明確にする
• 型理論を意味論的な側面から考える
• 多項式を始めとする従来の枠組みからはフォーマルに定義することが困難な概念に対する厳密な定義の提供
• 数学基礎 (foundations for mathematics) の一つとして活用する
• 圏論初学者が陥りがちな典型的な誤解
• 圏論では具体的な構成ができない
• 圏論は基礎論を無視したガバガバ理論
• 圏論的な基礎論は明らかな循環論法
• 仕様ベースの数学と従来の実装ベースの数学
• 圏論の世界に踏み入る前に...

つづく