>>450
また、「下記貼男」がわけもわからず検索してコピペしてんな（笑）

まず、文章。一度でも読んだ？

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.

「カテゴリカル論理
カテゴリカル論理は、圏論のツールと概念を数理論理学の研究に応用する数学の一分野である。」

うん、その通りだよ
で、君は馬鹿チョン検索で”categorical”だけ入れたんだろ？
それじゃダメだよ

「”categorical”が、「圏論的」じゃなく「範疇的」（つまりモデルが唯一）という意味で使われることがある」といったが
「”categorical”が、「圏論的」じゃなく「範疇的」（つまりモデルが唯一）という意味でつねに使われる」とはいってないよ

∃と∀のちがい　分かる？　下記貼男クン

で、君はこれ見つけたかい？意味わかるかい？
https://en.wikipedia.org/wiki/Categorical_theory

Not to be confused with Category theory.

上記”Categorical_theory”の文章のどこにも圏論（Category theory）なんて出てこない
当然だよ、無関係だもん（笑）