n类咖啡馆

我甚至不认为我会试图复制迈克尔·霍普金斯（Michael Hopkins）关于简单集和复杂集所说的一切。我认为所有技术细节都最好在文献中查找（请参阅上文提到的Street的论文）。

无论如何，我今天没时间。

这个要点是通过看$（d+m）$-歧管结束 $米$-单纯形（即配备一张标准的投影地图$米$-单纯形）一个构造一个分层的，分层的对应于$\欧米茄$-类别$\数学{M}^d（n）$.

“分层单形集“（至少由Verity和Street描述）是简单集和$米$-标记为薄的.

一个瘦子$米$-单纯形被认为是代表身份 $米$-同构。因此，分层单纯集是一种讨论神经 $数控$的$n个$-类别$C类$.$米$-中的单纯形$数控$是$米$-的形态$C类$和身份$米$-形态被标记为瘦。

谈话的最后几分钟是关于一种逃避的方式$\数学{M}^d（n）$到一个普通的拓扑空间。这个结论是一个大定理，说这个拓扑空间等价于Galatius、Madsen、Tillmann和Weiss研究的拓扑空间。

演讲的这一部分被明确宣布为有点推测性和模糊性。给我的主要信息（回答我的一个问题）是霍普金斯等人确实对系统的说什么的方式$n个$-分层TFT是（而在现有文献中，结构似乎总是有点特别）。