教程 : 一阶语言与一阶逻辑
定义
定义 (符号表). 一个 (一阶) 符号表 $\Sigma$ 由如下资料构成:
- 一族类型 (types),
- 一些函数符号 (function symbols), 每一个函数符号 $f$ 具有固定的 “输入类型” $A_1,\cdots,A_n$, “输出类型” $B$, 记作 $f \colon (A_1\times \cdots \times A_n) \to B$, 非负整数 $n$ 称为 $f$ 的元数 (arity); (当 $n=0$ 时, 函数符号 $f$ 是 “零元函数”, 也即类型 $B$ 的常数 $f : B$.)
- 一些关系符号 (relation symbols), 又叫谓词 (predicates), 每一个关系符号 $R$ 具有固定的类型 $A_1,\cdots,A_n$, 记作 $R \hookrightarrow A_1\times \cdots\times A_n$, 非负整数 $n$ 称为 $R$ 的元数. (当 $n=0$ 时, 关系符号是 “零元关系”, 也即原子命题 (atomic proposition).)
一阶逻辑的片段
例
初等算术
群
范畴
小范畴的语言的符号表包括
- 类型 $O$ (对象), $M$ (态射);
- 一元函数符号 $s,t\colon M\to O$ (态射的起点与终点), 一元函数符号 $\operatorname{id}\colon O\to M$ (对象的恒等态射);
- 三元关系符号 $C\hookrightarrow M^3$, $C(f,g,h)$ 表达 “$h$ 是 $f$ 与 $g$ 的复合”.
注. 范畴中并非任意两个态射都能复合, 故此处表达复合关系使用了三元关系, 而不是二元函数.
注. 这里的范畴指的是严格 $1$-范畴.