Abstract
We recall both the biased and the unbiased definitions of a properad. The former describes a properad in terms of generating operations, namely, units, Σ-bimodule structure, and properadic composition. The unbiased definition of a properad describes it as an algebra over a monad induced by connected wheel-free graphs. The equivalence of the two definitions of a properad are proved in detail in Yau and Johnson (A Foundation for PROPs, Algebras, and Modules. Mathematical Surveys and Monographs, vol. 203, Am. Math. Soc., Providence, 2015) as an example of a general theory of generating sets for graphs.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
W.L. Gan, Koszul duality for dioperads. Math. Res. Lett. 10, 109–124 (2003)
S. Mac Lane, Categories for the Working Mathematicians, 2nd edn. (Springer, New York, 1998)
M. Markl, Operads and PROPs. Handbook of Algebra, vol. 5 (Elsevier, Amsterdam, 2008), pp. 87–140
J.P. May, The Geometry of Iterated Loop Spaces. Lectures Notes in Mathematics, vol. 271 (Springer, Berlin, 1972)
B. Vallette, A Koszul duality for props. Trans. Am. Math. Soc. 359, 4865–4943 (2007)
D. Yau, M.W. Johnson, A Foundation for PROPs, Algebras, and Modules. Mathematical Surveys and Monographs, vol. 203 (Am. Math. Soc., Providence, 2015)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Hackney, P., Robertson, M., Yau, D. (2015). Properads. In: Infinity Properads and Infinity Wheeled Properads. Lecture Notes in Mathematics, vol 2147. Springer, Cham. https://doi.org/10.1007/978-3-319-20547-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-20547-2_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-20546-5
Online ISBN: 978-3-319-20547-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)