目录

总体思路

The notions of偏序集和散文（英寸秩序理论)、和，共精简类别,真实值-丰富的类别和（0,1）-类别（英寸范畴理论和高等范畴理论)所有这些都是紧密相关的，但可能有细微但关键的不同（另请参阅范畴理论与秩序理论):

在范畴理论-语言：

• 一预序集（或选择性激励技术，简称）是

  一严格的和薄的 类别.

• 一部分有序集（或偏序集，简称）是

  一严格的和薄的 和骨骼 类别.

现在，虽然每偏序集尤其是选择性激励技术，一个选择性激励技术不一定是同构的（即作为严格类别)到偏序集.

另一方面，如果我们无视严格并假设选择公理，然后每隔选择性激励技术是等同于一个类别到偏序集：这是一种说法，即每个类别都有一个骨架.

最后，如果散文被视为实际类别以这种方式（即忽略他们严格)因此，它们相当于：

1. 精简类别,

2. 真值-丰富的类别,

3. （0,1）-类别.

相反，由于骨骼类别意味着严格类别可以这么说偏序集是骨骼 真值-/薄的-/$(0,1)$-类别.

在这样做的时候，人们应该记住，在不同的环境中（例如在不同的数学基础)严格可能很重要和/或选择公理可能会失败，在这种情况下散文是不同等地偏序集两者都不可能真正等同于精简类别/（0,1）-类别.

最后，请注意，即使这些类别的概念也不一定总是等价的：使用术语的上下文”（0,1）-类别“甚至不太可能考虑严格类别而不是使用术语的上下文“薄型“或”真值-富集类别“，这甚至可能会考虑严格分类作为默认概念。

在类型理论中

(…)