PlanetPhysics/R Supercategory

\newcommand{\sqdiagram}[9]{$$ \diagram #1 \rto^{#2} \dto_{#4}&

\eqno{\mbox{#9}}$$ }

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.