Skip to main content
Log in

Abstract

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. The titular category has nice formal properties: it is bicomplete and is a symmetric monoidal category, with monoidal product closely related to the Boardman-Vogt tensor product of operads. Tools developed in this article, which is the first part of a larger work, include a generalized version of multilinearity of functors, a free prop construction defined on certain “generalized” graphs, and the relationship between the category of props and the categories of permutative categories and of operads.

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

Access this article

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. Barr, M., Wells, C.: Toposes, triples and theories. Repr. Theory Appl. Categ. 12, x+288 (2005). Corrected reprint of the 1985 original [MR0771116]. MR 2178101

    MathSciNet  Google Scholar 

  2. Berger, C., Moerdijk, I.: Resolution of coloured operads and rectification of homotopy algebras, categories in algebra, geometry and mathematical physics. Contemp. Math. Amer. Math. Soc. Providence RI 431, 31–58 (2007). MR 2342815 (2008k:18008)

    MathSciNet  Google Scholar 

  3. Boardman, J.M., Vogt, R.M.: Homotopy Invariant Algebraic Structures on Topological Spaces. Lecture Notes in Mathematics, vol. 347. Springer-Verlag, Berlin (1973). MR 0420609 (54 #8623a)

    Google Scholar 

  4. Cisinski, D.-C., Moerdijk, I.: Dendroidal sets as models for homotopy operads. J. Topol. 4(2), 257–299 (2011). MR 2805991. doi:10.1112/jtopol/jtq039

    Article  MathSciNet  MATH  Google Scholar 

  5. Cisinski, D.-C., Moerdijk, I.: Dendroidal Segal spaces and ∞-operads. J. Topol. 6(3), 675–704 (2013). doi:10.1112/jtopol/jtt004

    Article  MathSciNet  MATH  Google Scholar 

  6. Cisinski, D.-C., Moerdijk, I.: Dendroidal sets and simplicial operads. J. Topol. 6(3), 705–756 (2013). doi:10.1112/jtopol/jtt006

    Article  MathSciNet  MATH  Google Scholar 

  7. Hess, K., Voronov, A., Cohen, R.L.: String Topology and Cyclic Homology. Adv. Courses in Math CRM Barcelona. Birkhäuser, Basel (2006). Translated from the Japanese by M. Reid

    Google Scholar 

  8. Elmendorf, A.D., Mandell, M.A.: Rings, modules, and algebras in infinite loop space theory. Adv. Math. 205(1), 163–228 (2006). MR 2254311 (2007g:19001)

    Article  MathSciNet  MATH  Google Scholar 

  9. Elmendorf, A.D., Mandell, M.A.: Permutative categories, multicategories and algebraic K-theory. Algebr. Geom. Topol. 9(4), 2391–2441 (2009). MR 2558315 (2011a:19002)

    Article  MathSciNet  MATH  Google Scholar 

  10. Frégier, Y., Markl, M., Yau, D.: The \(L_\infty \)-deformation complex of diagrams of algebras, New York. J. Math. 15, 353–392 (2009). MR 2530153 (2011b:16039)

    MATH  Google Scholar 

  11. Fresse, B.: Props in model categories and homotopy invariance of structures. GeorgianMath. J. 17(1), 79–160 (2010). MR 2640648 (2011h:18011)

    MathSciNet  MATH  Google Scholar 

  12. Gallo, G., Longo, G., Pallottino, S., Nguyen, S.: Directed hypergraphs and applications. Discret. Appl. Math. 42(2–3), 177–201 (1993). Combinatorial structures and algorithms. MR 1217096 (94e:05187)

    Article  MathSciNet  MATH  Google Scholar 

  13. Ginzburg, V., Kapranov, M.: Koszul duality for operads. Duke Math. J. 76(1), 203–272 (1994). MR 1301191 (96a:18004)

    Article  MathSciNet  MATH  Google Scholar 

  14. Hackney, P., Robertson, M.: The homotopy theory of props

  15. Johnson, M.W., Yau, D.: On homotopy invariance for algebras over colored PROPs. J. Homotopy Relat. Struct. 4(1), 275–315 (2009). MR 2559644 (2010j:18014)

    MathSciNet  MATH  Google Scholar 

  16. Leinster, T.: Higher Operads, Higher Categories. London Mathematical Society Lecture Note Series, vol. 298. Cambridge University Press, Cambridge (2004). MR 2094071 (2005h:18030)

    Book  Google Scholar 

  17. Mac Lane, S.: Categorical algebra. Bull. Am. Math. Soc. 71, 40–106 (1965). MR 0171826 (30 #2053)

    Article  MathSciNet  Google Scholar 

  18. Mac Lane, S.: Categories for the working mathematician, 2nd edn.Graduate Texts in Mathematics, vol. 5. Springer-Verlag, New York (1998). MR 1712872 (2001j:18001)

  19. Markl, M.: Operads and PROPs. Handbook of Algebra, vol. 5, pp. 87–140. Elsevier, North-Holland, Amsterdam (2008). MR 2523450 (2010j:18015)

  20. Markl, M., Shnider, S., Stasheff, J.: Operads in Algebra, Topology and Physics. Mathematical Surveys and Monographs, vol. 96. American Mathematical Society, Providence, RI (2002). MR 1898414 (2003f:18011)

  21. Peter May, J.: May, The Geometry of Iterated Loop Spaces. Lectures Notes in Mathematics, vol, 271. Springer-Verlag, Berlin (1972). MR 0420610 (54 #8623b)

  22. Moerdijk, I.: Lectures on dendroidal sets. Simplicial methods for operads and algebraic geometry. Adv. Courses Math, pp. 1–118. CRM Barcelona, Birkhauser/Springer Basel AG, Basel (2010). Notes written by Javier J. Gutierrez. MR 2778589

  23. Moerdijk, I., Weiss, I.: Dendroidal sets. Algebr. Geom. Topol. 7, 1441–1470 (2007). MR 2366165 (2009d:55014). doi:10.2140/agt.2007.7.1441

    Article  MathSciNet  MATH  Google Scholar 

  24. Moerdijk, I., Weiss, I.: On inner Kan complexes in the category of dendroidal sets. Adv. Math. 221(2), 343–389 (2009). MR 2508925 (2010a:55021). doi:10.1016/j.aim.2008.12.015

    Article  MathSciNet  MATH  Google Scholar 

  25. Pirashvili, T.: On the PROP corresponding to bialgebras. Cah. Topol. Géom. Différ. Catég. 43(3), 221–239 (2002). MR 1928233 (2003i:18012)

    MathSciNet  MATH  Google Scholar 

  26. Segal, G.B.: The definition of conformal field theory. Differential geometrical methods in theoretical physics (Como, 1987). NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. Kluwer Acad. Publ. Dordrecht 250, 165–171 (1988). MR 981378 (90d:58026)

    Google Scholar 

  27. Torres, A.F., Aráoz, J.D.: Combinatorial models for searching in knowledge bases. Acta Cient. Venezolana 39(5–6), 387–394 (1988). MR 1005374 (90k:68162)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Marcy Robertson.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hackney, P., Robertson, M. On the Category of Props. Appl Categor Struct 23, 543–573 (2015). https://doi.org/10.1007/s10485-014-9369-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-014-9369-4

Keywords

Navigation