通俗范畴论3 从特指对象到对象

同一性问题

如前所述，特指对象有个名字，并用一个点表示（相当于另一个名字），它可以作为箭头的起点或终点，箭头的多少，以及箭头的起点和终点根据表达的需要而定，没有特别的约定。因此，我们可以画出的、最简单的有向图如下：

Figure 1. 最简单的有向图

对于上图的苹果1，如果咬它一口，还可以认为咬过的苹果是苹果1么？

小明认为是，因为咬一口只是苹果1缺了一小块，不算什么，苹果1还是苹果1；小丽的观点则相反，因为苹果1已经缺了一块，不再和原来的苹果1完全相同了，因此它应该用一个新的名字代之，比如 苹果2。如下图所示：

Table 1. 对相同的不同理解示意

小明	小丽