2-Category: DblCat

DblCat is the 2-category whose objects are double categories, arrows are double functors, and transformations are natural transformations. Specifically, DblCat is a bicategory.

2-categories: DblCat

This data as json