Non-trivial higher homotopy of first-order theories

Autor:	Campion, Tim, Ye, Jinhe
Rok vydání:	2023
Předmět:	Mathematics - Logic Mathematics - Algebraic Topology Mathematics - Category Theory
Druh dokumentu:	Working Paper
Popis:	Let $T$ be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of $\mathsf{Mod}(T)$ to be homotopically equivalent to $\mathbb{CP}^\infty$. In particular, $\pi_2(\lvert\mathsf{Mod}(T)\rvert)=\mathbb{Z}$, which answers a question in our previous work. The computation is based on Connes' cycle category $\Lambda$. Comment: 6 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2306.12011 Zobrazit plný text záznamu View this record from Arxiv