2-Category: Prof

Prof is the 2-category whose objects are categories, arrows are profunctors, and transformations are natural transformations. Specifically, Prof is a bicategory.

2-categories: Prof

This data as json