逻辑代数01律的理解_泛代数学习笔记1：定义和一些例子

类型论驿站写作计划

群、环、格、布尔代数等代数结构在很早就已经得到了比较深入的研究。怀特海（Whitehead）在1898年指出，有必要定义一种可以囊括现有的大部分代数结构的代数。但这一任务直到1933年才由伯克霍夫（Birkhoff）完成。

定义1

对于一个非空集合

，以及一个非负整数

，我们定义

，且对于

，

是

的元素所构成的

元组。

上的

元运算（或函数）是任何从

到

的函数

。

是

的

元数（arity，rank）。 有限元操作是针对某个

来说的的一个

元操作。

的在一个

元运算

下的

像（image）记为

。在

上的运算

如果元数为零，则被称为

零元（nullary）操作，或 常运算（constant），该运算完全由

中的唯一元素

在

中的像

来决定，故而我们通常可以将该运算和元素

视为等同。故而零元运算可以被视为

中的一个元素（例如不同代数结构中的“

单位元”，identity）。

定义2

代数的语言（或类型，type）是一个函数符号的集合

，使得

中的每个元素

都可以得到一个非负整数

的赋值。该整数被称为

的元数，

被称为一个

元函数符号。

中

元函数符号所构成的子集记为

。

定义3

如果

是一个代数语言，那么类型为