>>452
>まず、文章。一度でも読んだ？
>Categorical logic
>Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic.

　ブーメラン、ブーメラン ブーメラン、ブーメラン 〜　；ｐ）
　>>417 より （あなたの書いた分を 引用する）
概ねその通りだが・・・一か所致命的な翻訳ミスがある
categorical axiom systems
上記の”categorical”は、「圏論的」ではない。
よく「範疇的」と翻訳されるが、この言葉だけ見ても絶対に意味は分からない（笑）
素人にもわかるように意味を以下に示す
Categorical theory
https://en.wikipedia.org/wiki/Categorical_theory
In mathematical logic, a theory is categorical if it has exactly one model (up to isomorphism).Such a theory can be viewed as defining its model, uniquely characterizing the model's structure.
「数理論理学において、理論がカテゴリカルであるとは、モデルが 1 つだけ存在する場合（同型性を除く）である。このような理論はモデルを定義し、そのモデルの構造を一意に特徴付けるものとして見ることができる。」
まさかとは思うが、カテゴリカル＝圏論的と誤読した上で、
だから圏論最強とかいってるなら・・・壮絶な馬鹿（笑）
(引用終り)

　ブーメラン、ブーメラン ブーメラン、ブーメラン
　ブーメラン、ブーメラン ブーメラン、ブーメラン
ｗｗｗｗｗｗｗｗｗ　；ｐ）