A foundation for props, algebras, and modules

PROPs and their variants are extremely general and powerful machines that encode operations with multiple inputs and multiple outputs. In this respect PROPs can be viewed as generalizations of operads that would allow only a single output. Variants of PROPs are important in several mathematical fields, including string topology, topological conformal field theory, homotopical algebra, deformation theory, Poisson geometry, and graph cohomology. The purpose of this monograph is to develop, in full technical detail, a unifying object called a generalized PROP. Then with an appropriate choice of p