论文标题
同型相干神经中的映射空间
Mapping spaces in homotopy coherent nerves
论文作者
论文摘要
我们直接证明，富含KAN类别的连贯神经中的中间映射空间具有与原始映射空间相同的同型类型。
We give a direct proof that middle mapping spaces in coherent nerves of Kan enriched categories have the same homotopy type as the original mapping spaces.
