语义分解与下降
摘要：从类别角度对偏态度对象和推出进行2范畴$mathbb{A}$的定义。我们提供了一种直接证明方法，前提是一个态度的内核集存在并且由适当的态度保护，然后通过态度缺陷对象给出的路径协同核素的分解在同构的情况下与$p$的语义分解相同，如果存在任何一个。这个结果可以看作是Beran哈罗德(celebrated Beran哈罗德)定理的一个对应版本。这导致了一个单调定理，因为它通过歧视来表征单调性。值得注意的是，当$p$有一个左伴随时，关于$p$的内核集上的所有条件都是显而易见的，因此在这种情况下，我们发现单调性是关于$p$的2维精确条件，即对于2范畴mathbb{A}中一个有效的可靠态度态度态度态度态度态度态态状态态态态状态态状态种状态种种。
作者：Fernando Lucatelli Nunes
论文ID：1902.01225
分类：Category Theory
分类简称：math.CT
提交时间：2022-09-05