notion内部观点 [内部观点]

通常数学结构是以集合为基础建立的: 一些集合, 带有一些映射, 满足一些条件. 将其中的集合与映射替换为特定范畴中的对象与态射, 得到的结构称为这个范畴内部的结构.

每个范畴都有一个一阶语言, 以其对象为类型, 态射为函数符号; 这称为范畴的内语言. 当范畴具有越多类似于集合范畴的范畴论性质时, 其内语言就越丰富, 越接近通常数学的语言. 这一现象最重要的例子是意象的内语言.

内部观点与相对观点常常同时出现.