Wiki. 内语言 [内语言]

观念

每个范畴都有一个一阶语言, 以其对象为类型, 态射为函数符号; 这称为范畴的内语言. 当范畴具有越多范畴论性质时, 其内语言就越丰富.

例

集合范畴 $\mathsf{Set}$ 的内语言就是通常的数学的语言.

相关概念