Category: DblCat

DblCat is the category whose objects are double categories and arrows are double functors.

Facts Derived from Enrichment

(DblCat doesn't seem to have any notable subcategories.)

Limits

Colimits

categories: DblCat

This data as json

name objects_hr arrows_hr
DblCat double categories double functors

Links from other tables