Given a very special -space , repeated application of Segal’s delooping functor produces the constituent spaces of the associated connective -spectrum. In particular, by applying this construction to very special -spaces (a.k.a.~Abelian groups), one recovers Eilenberg-MacLane spectra. The delooping functor is entirely formal, however, and can be applied to arbitrary -spaces without any conditions. Work of Connes and Consani suggests that the ``field with one element’’ can be fruitfully realized as a (discrete) -space (which localizes to the classical sphere spectrum). This note computes Segal’s deloopings of this model of . They are -fold simplicial sets whose geometric realizations are the -spheres, equipped with structures. Equivalently, they are the (nerves of the) free partial strict -categories with free partial symmetric monoidal structures.

生成讲解博客的中文版本

生成AI智能校验的中文版本