No.10907706 ViewReplyOriginalReport
The comonad of the stabilization adjunction

is part of another adjunction

whose right adjoint has infinite loop space . Could someone explain the analogy to Lie algebras and Lie groups? How is the connective spectrum of units like a Lie algebra? How is the tangent category, given by the stabilization of the codomain fibration, like the tangent bundle of a manifold? More specifically, is the tangent category of a manifold considered as an -groupoid its tangent bundle? If not, what additional structure do we need on the manifold or its interpretation as a category?

Pic unrelated, just some obligatory Kurisu posting.