Lecture Notes on Infinity-Properads

  • Philip Hackney
  • Marcy RobertsonEmail author
Part of the MATRIX Book Series book series (MXBS, volume 1)


These are notes for three lectures on higher properads given at a program at the mathematical institute MATRIX in Australia in June 2016. The first lecture covers the case of operads, and provides a brief introduction to the Moerdijk-Weiss theory of dendroidal sets. The second lecture extends the discussion to properads and our work with Donald Yau on graphical sets. These two lectures conclude with models for higher (pr)operads given by an inner horn filling condition. Finally, in the last lecture, we explore some properties of the graphical category and use them to propose a Segal-type model for higher properads.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.



These lectures were given in the inaugural workshop at the mathematical research institute MATRIX in Australia called “Higher Structures in Geometry and Physics” in June 2016; needless to say, these notes would not exist had MATRIX not supported us and allowed us to host the program in the first place. We would like to thank all the participants of the workshop for asking interesting questions and forcing us to refine these ideas, and also to Jon Beardsley, Julie Bergner, and Joachim Kock for offering feedback on earlier drafts of these notes. A special thank you goes to Gabriel C. Drummond-Cole who generously shared his liveTE Xed notes which formed the backbone of this document. We are also grateful to the Hausdorff Research Institute for Mathematics and the Max Planck Institute for Mathematics for their hospitality while we were finishing the writing and editing of these notes.


  1. 1.
    Barwick, C.: From operator categories to topological operads (2013).
  2. 2.
    Berger, C., Moerdijk, I.: Resolution of coloured operads and rectification of homotopy algebras. In: Categories in Algebra, Geometry and Mathematical Physics. Contemporary Mathematics, vol. 431, pp. 31–58. American Mathematical Society, Providence, RI (2007).
  3. 3.
    Berger, C., Moerdijk, I.: On an extension of the notion of Reedy category. Math. Z. 269(3–4), 977–1004 (2011). MathSciNetCrossRefGoogle Scholar
  4. 4.
    Bergner, J.E.: Three models for the homotopy theory of homotopy theories. Topology 46(4), 397–436 (2007). MathSciNetCrossRefGoogle Scholar
  5. 5.
    Bergner, J.E.: A survey of (, 1)-categories. In: Towards Higher Categories. The IMA Volumes in Mathematics and its Applications, vol. 152, pp. 69–83. Springer, New York (2010). Google Scholar
  6. 6.
    Bergner, J.E., Hackney, P.: Group actions on Segal operads. Israel J. Math. 202(1), 423–460 (2014). MathSciNetCrossRefGoogle Scholar
  7. 7.
    Chu, H., Haugseng, R., Heuts, G.: Two models for the homotopy theory of -operads (2016).
  8. 8.
    Cisinski, D.C., Moerdijk, I.: Dendroidal sets as models for homotopy operads. J. Topol. 4(2), 257–299 (2011). MathSciNetCrossRefGoogle Scholar
  9. 9.
    Cisinski, D.C., Moerdijk, I.: Dendroidal Segal spaces and -operads. J. Topol. 6(3), 675–704 (2013). MathSciNetCrossRefGoogle Scholar
  10. 10.
    Cisinski, D.C., Moerdijk, I.: Dendroidal sets and simplicial operads. J. Topol. 6(3), 705–756 (2013). MathSciNetCrossRefGoogle Scholar
  11. 11.
    Hackney, P., Robertson, M.: The homotopy theory of simplicial props. Israel J. Math. 219(2), 835–902 (2017). MathSciNetCrossRefGoogle Scholar
  12. 12.
    Hackney, P., Robertson, M., Yau, D.: Infinity Properads and Infinity Wheeled Properads. Lecture Notes in Mathematics, vol. 2147. Springer, Berlin (2015). arXiv:1410.6716 [math.AT]. Google Scholar
  13. 13.
    Hackney, P., Robertson, M., Yau, D.: A simplicial model for infinity properads. To appear in Higher Structures (2015).
  14. 14.
    Heuts, G., Hinich, V., Moerdijk, I.: On the equivalence between Lurie’s model and the dendroidal model for infinity-operads (2013).
  15. 15.
    Hirschhorn, P.S.: Model Categories and Their Localizations. Mathematical Surveys and Monographs, vol. 99. American Mathematical Society, Providence, RI (2003)Google Scholar
  16. 16.
    Hirschowitz, A., Simpson, C.: Descente pour les n-champs (descent for n-stacks) (1998).
  17. 17.
    Kock, J.: Graphs, hypergraphs, and properads. Collect. Math. 67(2), 155–190 (2016). MathSciNetCrossRefGoogle Scholar
  18. 18.
    Lurie, J.: Higher Algebra (May 18, 2011, preprint).
  19. 19.
    Moerdijk, I.: Lectures on dendroidal sets. In: Simplicial Methods for Operads and Algebraic Geometry. Advanced Courses in Mathematics. CRM Barcelona, pp. 1–118. Birkhäuser/Springer Basel AG, Basel (2010). Notes written by Javier J. GutiérrezCrossRefGoogle Scholar
  20. 20.
    Moerdijk, I., Weiss, I.: Dendroidal sets. Algebra Geom. Topol. 7, 1441–1470 (2007). MathSciNetCrossRefGoogle Scholar
  21. 21.
    Moerdijk, I., Weiss, I.: On inner Kan complexes in the category of dendroidal sets. Adv. Math. 221(2), 343–389 (2009). MathSciNetCrossRefGoogle Scholar
  22. 22.
    Segal, G.: Categories and cohomology theories. Topology 13, 293–312 (1974)MathSciNetCrossRefGoogle Scholar
  23. 23.
    Vallette, B.: A Koszul duality for PROPs. Trans. Am. Math. Soc. 359(10), 4865–4943 (2007). MathSciNetCrossRefGoogle Scholar
  24. 24.
    Yau, D.: Colored Operads. Graduate Studies in Mathematics, vol. 170. American Mathematical Society, Providence, RI (2016)Google Scholar
  25. 25.
    Yau, D., Johnson, M.W.: A Foundation for PROPs, Algebras, and Modules. Mathematical Surveys and Monographs, vol. 203. American Mathematical Society, Providence, RI (2015)Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Macquarie UniversitySydneyAustralia
  2. 2.The University of MelbourneParkvilleAustralia

Personalised recommendations