论文信息 - Cofibrant objects among higher-dimensional categories

Cofibrant objects among higher-dimensional categories

We define a notion of cofibration among ∞-categories and show that the cofibrant objects are exactly the free ones, that is, those generated by polygraphs.

François Métayer | François Métayer

[1] Krzysztof Worytkiewicz,et al. A folk model structure on omega-cat☆☆☆ , 2007, 0712.0617.

[2] Ross Street,et al. Limits indexed by category-valued 2-functors , 1976 .

[3] Peter Gabriel,et al. Calculus of Fractions and Homotopy Theory , 1967 .

[4] Ross Street,et al. The petit topos of globular sets , 2000 .

[5] Albert Burroni,et al. Higher-Dimensional Word Problems with Applications to Equational Logic , 1993, Theor. Comput. Sci..

[6] Albert Burroni. Higher Dimensional Word Problem , 1991, Category Theory and Computer Science.

[7] FRANÇOIS MÉTAYER,et al. Resolutions by Polygraphs , 2003 .

[8] Yves Guiraud,et al. Two polygraphic presentations of Petri nets , 2006, Theor. Comput. Sci..

[9] Michael Batanin,et al. Computads for finatory monads on globular sets , 1998 .

[10] Michael Batanin,et al. Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories☆ , 1998 .

[11] A. Power,et al. A 2-categorical pasting theorem , 1990 .

[12] Yves Lafont,et al. Polygraphic resolutions and homology of monoids , 2009 .

[13] Yves Guiraud. The three dimensions of proofs , 2006, Ann. Pure Appl. Log..