哲光灼灼

范畴论与境尝试用范畴论作为建模，对一些被我们归类于“思想”的感受、现象等进行描述。希望借此在需要时，也许能理清我们的一些困惑。

我们将每一种建模的尝称之为一种策略。在这里我列出范畴论与境的数个策略。范畴论与境的尝试首先在《范畴论与境和A1策略》中提出，并介绍了这一尝试的动机和基本框架。

A1 策略

A1策略提出于《范畴论与境和A1策略》。尝试用泛性质描述形而上。

一个形而上$m$是$\mathcal E$中的联想，且$m$在$\mathcal E$的某个子范畴中具有泛性质。我们将这个子范畴记作$\mathcal E_m$，简记成$\mathcal M$

K1策略

K1策略提出于《范畴论与境：K1策略》。尝试用范畴论描述境的演化，并尝试一定上回答康德问题。

KA 猜想

KA猜想尝试从K1策略推导出A1策略中关于形而上的描述性定义，利用境在时间演化中的自然变换推出具有泛性质的子范畴。

E1 策略

在《范畴论与境：K1策略》中，我们提到了自然变换作为理解的一种可能描述。我们注意到，这一描述似乎构成了对他心问题的一种有效解答：当我们认为我们理解到另一个人，就我们自身而言，或许我们实际感受到的，是不断的发生的，关于那个我们认为代表他的子范畴的自然变化所处位置的那个感受。我们可以把这种感受称之为“理解”，其结构是他所展现的行为（现象）恰好契合我们心中对其的潜在推演。

然而，倘若真是如此，这就意味着，我们可以通过这种方式，触及到那些社会性的议题，以及探究，某一类规范性如何有效的运作。E1策略即是如此做的一个尝试。

Z1 策略

我们在《范畴论与境：K1策略》中，使用了函子的描述来描述境的演化。然而，事实上，对于切实的我们来说，我们并没有对过去的境的直接体验，我们体验到的永远是我们当下所在之境。然而，我们却可以在我们的脑海中，建立如同《范畴论与境：K1策略》中所描述的那样的模型和其他类似的客观世界模型。Z1策略正是一种尝试描述这一过程的尝试。通过这一过程，我们或许能一窥“时间”这一概念是如何涌现、并被我们体察的，以及明晰在《范畴论与境：K1策略》中两种内省函子的具体差异和适用范围，和我们如何构建“客观世界”的模型。