在低维度中严格化操作的凝聚性和弱函子分类器
摘要：在高阶范畴论中，弱结构屡见不鲜，但通常与更严格的结构适当等价，更易理解。我们扩展了三-范畴和三态射的严格化，以及三自然变换、三修饰和扰动的严格化。在此过程中，我们区分了操作上的一致性（可以严格化）和在球形输入中的一致性（保持弱）。我们为$mathbf{Gray}$-范畴引入了广义路径对象，有助于将三维环境中的证明化简为已知结果。在将所得的半严格三自然变换合并成组合后，我们表述了所期望的“半严格化四伴随”的同态三逆等价性。
作者：Adrian Miranda
论文ID：2307.01498
分类：Category Theory
分类简称：math.CT
提交时间：2023-07-06