nLab
2-polycategory

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 19:01:39. See the history of this page for a list of all contributions to it.