Could ∞-Category Theory Be Taught to Undergraduates?
Could ∞-Category Theory Be Taught to Undergraduates?
复制标题
可以向本科生讲授范畴论吗？
DOI：
10.1090/noti2692
复制
发表时间：
2023
影响因子：
--
通讯作者：
Riehl, Emily
中科院分区：
文献类型：
--
作者：
Riehl, Emily
DOI: https://doi。这个图是自反的，在每个点上的常数路径refl∈𝑋定义了一个不同的内箭头。这个自反有向图能否给出范畴的结构？要做到这一点，我们很自然地定义了一条路径𝑝从显性显性到显性显性，一条路径𝑞从显性显性到显性显性，通过将这些连续映射粘合在一起（即，通过连接路径），然后通过同态𝐼=𝐼∪1= 0𝐼重新参数化，从而以两倍的速度遍历每条路径：
DOI: https://doi. org/10.1090/noti2692 this graph is reflexive, with the constant path refl𝑥 at each point 𝑥∈ 𝑋 defining a distinguished endoarrow. Can this reflexive directed graph be given the structure of a category? To do so, it is natural to define the composite of a path 𝑝 from 𝑥 to 𝑦 and a path 𝑞 from 𝑦 to 𝑧 by gluing together these continuous maps—ie, by concatenating the paths—and then by reparametrizing via the homeomorphism 𝐼≅ 𝐼∪ 1= 0 𝐼 that traverses each path at double speed:
登录
查看更多内容
综合 ∞ 范畴的类型理论
DOI：
--
发表时间：
2017
期刊：
Higher Structures
影响因子：
--
作者：
E. Riehl;Michael Shulman
通讯作者：
Michael Shulman
DOI：
10.1017/9781108588737
发表时间：
2019-06
期刊：
--
影响因子：
--
作者：
Denis-Charles Cisinski
通讯作者：
Denis-Charles Cisinski
∞-范畴的同伦理论
DOI：
10.1017/9781108588737.004
发表时间：
2016
期刊：
Higher Categories and Homotopical Algebra
影响因子：
--
作者：
U. Bunke
通讯作者：
U. Bunke
证明和其他困境：什么时候一件事等于另一件事？
DOI：
10.5948/upo9781614445050.015
发表时间：
2008
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
B. Mazur
通讯作者：
B. Mazur
同伦相干附加词和单子的形式理论
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
E. Riehl;Dominic R. Verity
通讯作者：
Dominic R. Verity