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.
