Looping and delooping, suspension, the stabilization theorem
Sjoerd Crans – 21 August 1996
1. basics of \omega-teisi, don't have precise definition. In particular, dimension raising of composition.
2. Delooping: define k-monoidal \omega-tas as \omega-tas with one (k-1)-arrow, and k-monoidal nD tas as (n+k)D tas with one (k-1)-arrow. View as nD tas with extra structure. Inclusion is \Sigma^k.
3. Looping: from pointed \omega-tas C, make C(id^k-1_c, id^k-1_c), which is k-monoidal, call this \Omega^k. \Sigma^k -| \Omega^k.
4. Suspension: underlying functor forgetting k-monoidal structure. Left adjoint to this, giving free k-monoidal structure, is suspension.
5. Baez-Dolan's stabilization hypothesis (rephrased for teisi): S: (k+2)-monoidal kD teisi --> (k+3)-monoidal kD teisi is iso. proof: follows immediately by checking the dimension raising of (k+3)-monoidal structure. So stabilization *theorem* is easy consequence of basics of \omega-teisi.
6. This will be sections 2.6.1 - 2.6.3 of the forthcoming 80+ page paper "Central observations on \omega-teisi".