Infinity Properads and Infinity Wheeled Properads

The topic of this book sits at the interface of the theory of higher categories (in the guise of ( ,1)-categories) and the theory of properads.