模态性和词法模态的特征刻画
摘要：镜面宇宙：同伦类型论中的局部化的内部版本 摘要：反射性子宇宙在同伦类型论中是拓扑学或无穷范畴论中局部化的概念的一种内部版本。在同伦类型论中工作，我们给出了对于反射性子宇宙L的以下条件的新的表征：（1）相关子宇宙L'的类型分离是一个模态性；（2）L是一个模态性；（3）L是一个Lex模态性；以及（4）L是一个余拓扑性模态性。在每种情况下，我们给出了几个必要且充分的条件。我们的表征涉及与L相关的各种映射族，例如L-''etale映射，L-等价映射，L-局部映射，L-连通映射，单元映射$ eta \_X $以及它们的左和/或右正交补。更一般地说，我们的主要定理概述了所有这些类别如何相互关联。我们还给出了一些示例，显示了我们在这些映射类别之间所描述的所有包含关系都可以是严格的。
作者：J. Daniel Christensen, Egbert Rijke
论文ID：2008.03538
分类：Category Theory
分类简称：math.CT
提交时间：2021-10-19