Non-trivial higher homotopy of first-order theories

Abstract: Let

T

be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of

m a t h s f M o d (T)

to be homotopically equivalent to

m a t h b b {C P}^{i} n f t y

. In particular,

p i_{2} (l v e r t m a t h s f M o d (T) v e r t) = m a t h b b Z

, which answers a question in our previous work. The computation is based on Connes' cycle category

L a m b d a

.

This page was built for publication: Non-trivial higher homotopy of first-order theories