>>417
>上記の”categorical”は、「圏論的」ではない。
>よく「範疇的」と翻訳されるが、この言葉だけ見ても絶対に意味は分からない（笑）
>素人にもわかるように意味を以下に示す
>Categorical theory
>https://en.wikipedia.org/wiki/Categorical_theory

あややｗ
下記 ”It is also notable for its connections to theoretical computer science.[1]”
”by a category, and an interpretation by a functor.”
”Categorical logic introduces the notion of structure valued in a category C with the classical model theoretic notion of a structure appearing in the particular case where C is the category of sets and functions.”
”lambda calculus and Cartesian closed categories”
でっせ　だんな　；ｐ）

モロ 圏論 じゃんかぁ〜！ｗ　；ｐ）

(参考)
https://en.wikipedia.org/wiki/Categorical_logic
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.
It is also notable for its connections to theoretical computer science.[1]
In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor.
The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970.
Overview
There are three important themes in the categorical approach to logic:
・Categorical semantics
　Categorical logic introduces the notion of structure valued in a category C with the classical model theoretic notion of a structure appearing in the particular case where C is the category of sets and functions.
・Internal languages
　This can be seen as a formalization and generalization of proof by diagram chasing.
・Term model constructions
　A classic example is the correspondence between theories of βη-equational logic over simply typed lambda calculus and Cartesian closed categories.