Skip to main content
SpringerLink
Log in

The homotopy theory of simplicial props

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

Abstract

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on ‘higher props,’ we show that the category of all small colored simplicial props admits a cofibrantly generated model category structure. With this model structure, the forgetful functor from props to operads is a right Quillen functor.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. M. Batanin and C. Berger, Homotopy theory for algebras over polynomial monads, preprint, arXiv:1305.0086.

  2. C. Berger and I. Moerdijk, Resolution of coloured operads and rectification of homotopy algebras, in Categories in Algebra, Geometry and Mathematical Physics, Contemporary Mathematics, Vol. 431, American Mathematical Society, Providence, RI, 2007, pp. 31–58.

    Chapter  Google Scholar 

  3. J. E. Bergner, A model category structure on the category of simplicial categories, Transactions of the American Mathematical Society 359 (2007), 2043–2058.

    Article  MathSciNet  MATH  Google Scholar 

  4. J. E. Bergner, A survey of (∞, 1)-categories, in Towards Higher Categories, IMAVolumes in Mathematics and its Applications, Vol. 152, Springer, New York, 2010, pp. 69–83.

    Chapter  Google Scholar 

  5. J. M. Boardman and R. M. Vogt, Homotopy Invariant Algebraic Structures on Topological Spaces, Lecture Notes in Mathematics, Vol. 347, Springer-Verlag, Berlin, 1973.

    Google Scholar 

  6. D.-C. Cisinski and I. Moerdijk, Dendroidal sets as models for homotopy operads, Journal of Topology 4 (2011), 257–299.

    Article  MathSciNet  MATH  Google Scholar 

  7. D.-C. Cisinski and I. Moerdijk, Dendroidal Segal spaces and ∞-operads, Journal of Topology 6 (2013), 675–704.

    Article  MathSciNet  MATH  Google Scholar 

  8. D.-C. Cisinski and I. Moerdijk, Dendroidal sets and simplicial operads, Journal of Topology 6 (2013), 705–756.

    Article  MathSciNet  MATH  Google Scholar 

  9. W. G. Dwyer and D. M. Kan, Simplicial localizations of categories, Journal of Pure and Applied Algebra 17 (1980), 267–284.

    Article  MathSciNet  MATH  Google Scholar 

  10. J. Francis, Derived algebraic geometry over E n-rings, Ph.D. Thesis, Massachusetts Institute of Technology, 2008.

    Google Scholar 

  11. Y. Frégier, M. Markl and D. Yau, The L ∞-deformation complex of diagrams of algebras, New York Journal of Mathematics 15 (2009), 353–392.

    MathSciNet  MATH  Google Scholar 

  12. B. Fresse, Props in model categories and homotopy invariance of structures, Georgian Mathematical Journal 17 (2010), 79–160.

    MathSciNet  MATH  Google Scholar 

  13. P. G. Goerss and J. F. Jardine, Simplicial Homotopy Theory, Progress in Mathematics, Vol. 174, Birkhäuser Verlag, Basel, 1999.

    Google Scholar 

  14. P. Hackney and M. Robertson, On the category of props, Applied Categorical Structures 23 (2015), 543–573.

    Article  MathSciNet  MATH  Google Scholar 

  15. P. Hackney, M. Robertson and D. Yau, Relative left properness of colored operads, Algebraic and Geometric Topology 16 (2016), 2691–2714.

    Article  MathSciNet  MATH  Google Scholar 

  16. P. Hackney, M. Robertson and D. Yau, A simplicial model for infinity properads, (2015), preprint, arXiv:1502.06522.

    MATH  Google Scholar 

  17. P. Hackney, M. Robertson and D. Yau, Infinity Properads and Infinity Wheeled Properads, Lecture Notes in Mathematics, Vol. 2147, Springer, Cham, 2015, available at arXiv:1410.6716.

    Google Scholar 

  18. P. S. Hirschhorn, Model Categories and their Localizations, Mathematical Surveys and Monographs, Vol. 99, American Mathematical Society, Providence, RI, 2003.

    Google Scholar 

  19. M. Hovey, Model Categories, Mathematical Surveys and Monographs, Vol. 63, American Mathematical Society, Providence, RI, 1999.

    Google Scholar 

  20. M. W. Johnson and D. Yau, On homotopy invariance for algebras over colored PROPs, Journal of Homotopy and Related Structures 4 (2009), 275–315.

    MathSciNet  MATH  Google Scholar 

  21. A. Joyal, Quasi-categories and Kan complexes, Journal of Pure and Applied Algebra 175 (2002), 207–222.

    Article  MathSciNet  MATH  Google Scholar 

  22. J. Kock, Graphs, hypergraphs, and properads, Collectanea Mathematica 67 (2016), 155–190.

    Article  MathSciNet  MATH  Google Scholar 

  23. J. Lurie, Higher Algebra, (May 18, 2011) preprint available at www.math.harvard.edu/~lurie/papers/higheralgebra.pdf.

    Google Scholar 

  24. J. Lurie, Higher Topos Theory, Annals of Mathematics Studies, Vol. 170, Princeton University Press, Princeton, NJ, 2009, available at http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf.

    Google Scholar 

  25. S. MacLane, Categorical algebra, Bulletin of the American Mathematical Society 71 (1965), 40–106.

    Article  MathSciNet  MATH  Google Scholar 

  26. S. MacLane, Categories for the Working Mathematician, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York, 1998.

    Google Scholar 

  27. M. Markl, Operads and PROPs, in Handbook of Algebra. Vol. 5, Elsevier/North-Holland, Amsterdam, 2008, pp. 87–140.

    Google Scholar 

  28. M. Markl, S. Shnider and J. Stasheff, Operads in algebra, topology and physics, Mathematical Surveys and Monographs, Vol. 96, American Mathematical Society, Providence, RI, 2002.

    Google Scholar 

  29. J. P. May, The Geometry of Iterated Loop Spaces, Lectures Notes in Mathematics, Vol. 271, Springer, Berlin, 1972.

    Google Scholar 

  30. I. Moerdijk, Lectures on dendroidal sets, in SimplicialMethods for Operads and Algebraic Geometry, Advanced Courses in Mathematics—CRM Barcelona, Birkhäuser/Springer Basel AG, Basel, 2010, pp. 1–118.

    Chapter  Google Scholar 

  31. I. Moerdijk and I. Weiss, Dendroidal sets, Algebraic & Geometric Topology 7 (2007), 1441–1470.

    Article  MathSciNet  MATH  Google Scholar 

  32. I. Moerdijk and I. Weiss, On inner Kan complexes in the category of dendroidal sets, Advances in Mathematics 221 (2009), 343–389.

    Article  MathSciNet  MATH  Google Scholar 

  33. D. G. Quillen, Homotopical Algebra, Lecture Notes in Mathematics, Vol. 43, Springer-Verlag, Berlin, 1967.

    Google Scholar 

  34. C. Rezk, A model category for categories, (1996) available at http://www.math.uiuc.edu/~rezk/cat-ho.dvi.

    Google Scholar 

  35. C. Rezk, A model for the homotopy theory of homotopy theory, Transactions of the American Mathematical Society 353 (2001), 973–1007.

    Article  MathSciNet  MATH  Google Scholar 

  36. C. Rezk, Every homotopy theory of simplicial algebras admits a proper model, Topology and its Applications 119 (2002), 65–94.

    Article  MathSciNet  MATH  Google Scholar 

  37. M. Robertson, The homotopy theory of simplicially enriched multicategories, (2011), preprint, arXiv:1111.4146.

    Google Scholar 

  38. G. Segal, The definition of conformal field theory, in Differential Geometrical Methods in Theoretical Physics (Como, 1987), NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, Vol. 250, Kluwer Academic, Dordrecht, 1988, pp. 165–171.

    Chapter  Google Scholar 

  39. B. Vallette, A Koszul duality for PROPs, Transactions of the American Mathematical Society 359 (2007), 4865–4943.

    Article  MathSciNet  MATH  Google Scholar 

  40. D. Yau and M. W. Johnson, A Foundation for PROPs, Algebras, and Modules, Mathematical Surveys and Monographs, Vol. 203, American Mathematical Society, Providence, RI, 2015.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Macquarie University, North Ryde, NSW, 2109, Australia

    Philip Hackney

  2. School of Mathematics and Statistics, University of Melbourne, Parkville, VIC, 3010, Australia

    Marcy Robertson

Authors
  1. Philip Hackney
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcy Robertson
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marcy Robertson.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Hackney, P., Robertson, M. The homotopy theory of simplicial props. Isr. J. Math. 219, 835–902 (2017). https://doi.org/10.1007/s11856-017-1500-4

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11856-017-1500-4

Search

Navigation