Fundamental Properads of Infinity Properads
We give an explicit description of the fundamental properad LK of an ∞-properad K. The fundamental properad of an ∞-properad consists of homotopy classes of 1-dimensional elements. It takes a bit of work to prove that there is a well-defined homotopy relation among 1-dimensional elements and that a properad structure can be defined on homotopy classes.
- [BV73]J.M. Boardman, R.M. Vogt, Homotopy Invariant Algebraic Structures on Topological Spaces. Lecture Notes in Mathematics, vol. 347 (Springer, Berlin, 1973)Google Scholar