Monadic approach to polycategories

Advertisements