convolutional polycategories