Definition 0.1. A R-supercategory is defined as a supercategory of R-diagrams, or more
generally, R-categories and heterofunctors between such R-diagrams or R-categories.
Heterofunctors between R-diagrams are called R-heterofunctors.
One notes also that R-diagrams can be defined as functors according to the standard Barry
Mitchell’s construction.
References