A 2-polycategory is a polycategory enriched over Cat. It can be identified with a double polycategory with only identity vertical arrows.
Created on October 14, 2019 at 23:01:39. See the history of this page for a list of all contributions to it.