Thomasonのhomotopy colimit theorem

Small category \(I\) により index された small categoryの diagram, つまり functor \[ X : I \longrightarrow \category{Cat} \] が与えられたとき, Grothendieck construction を取ることにより, その図式を1つの small category \(\mathrm{Gr}(X)\) にすることができる。一方, 各 object \(i\in I_0\) に対し, \(X(i)\) の分類空間を取ると位相空間の図式 \[ BX : I \longrightarrow \category{Top} \] ができる。ホモトピー論で空間の図式が与えられたら, それをまとめて1つの空間にするには homotopy (co)limit を取るのが常套手段である。

その二つの構成の関係を正確に述べて証明したのが, Thomason [Tho79] である。その結果 \[ B\mathrm{Gr}(X) \relation{\simeq }{w} \hocolim BX \] は, Thomason の homotopy colimit theoremと 呼ばれている。

一般化も色々考えられている。Bicategory に対する一般化は, Cegarra の [Ceg11] で得られている。

Monoidal category は object 1つの bicategory であるから, Cegarra の結果は monoidal category の図式に対して homotopy colimit theorem を拡張したことになっている。

それの, braided monoidal category, つまり object 1つの tricategory への一般化を考えたのが, Garzon と Perez の [GP12] である。

References

[Ceg11]

A. M. Cegarra. “Homotopy fiber sequences induced by 2-functors”. In: J. Pure Appl. Algebra 215.4 (2011), pp. 310–334. arXiv: 0909.4229. url: http://dx.doi.org/10.1016/j.jpaa.2010.04.022.

[GP12]

A. R. Garzón and R. Pérez. “A homotopy colimit theorem for diagrams of braided monoidal categories”. In: Homology Homotopy Appl. 14.1 (2012), pp. 19–32. arXiv: 1103.4485. url: https://doi.org/10.4310/HHA.2012.v14.n1.a2.

[Tho79]

R. W. Thomason. “Homotopy colimits in the category of small categories”. In: Math. Proc. Cambridge Philos. Soc. 85.1 (1979), pp. 91–109. url: http://dx.doi.org/10.1017/S0305004100055535.