通俗范畴论7 Set 集合函数范畴

引言

上一部分介绍了关系范畴（Rel Category），在该范畴中，态射表示两个集合间的一个关系，设这两个集合为 A 和 B，则这个关系 R 可以表示为有序对 (a,b) 构成的集合，其中 a 属于集合 A，b 属于集合 B。

定义在集合 A 和 B 上的笛卡尔积 A × B 也是一个集合，其元素为有序对 (a,b) ，其中 a 属于集合 A，b 属于集合 B，笛卡尔积包含了 A 和 B 之间所有可能的有序对。

于是我们有：R 包含于 A × B，即 即R⊆A×B。

我们可以反过来看如何定义一个关系 R：我们先求笛卡尔积 A × B，然后从这个笛卡尔积中去掉0个或者多个有序对，甚至把所有有序对全部去掉，就定义了一个关系 R。

有了这个思维模型，我们做个思想实验：

• 把所有 (a,_) 有序对从 A × B 中去掉，这里 “_” 任意一个在集合 B 中的元素，于是所有以 a 开头的有序对就都去掉了，这下我们得到了一个关系 R，在这个关系中 a 不和集合 B 中的任何一个元素发生关系

• 假设 A 集合中有元素 a，集合 B 中有元素 c、d、e，则我们总是可以构造一个关系，使 a 和 B 中的 0个，1个，2个，或者3个元素发生关系

让我们继续想象，现在，给你一个定义在 A B 集合上的关系 R，要求 a 对应的元素：

• 你把 R 中的有序对每一个都查了，发现 a 其实没有和 集合 B 中的任何元素对应，你很沮丧