PlanetPhysics/R Supercategory

\newcommand{\sqdiagram}[9]{Failed to parse (unknown function "\diagram"): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }

A R-supercategory  is defined as a [[../SuperCategory6/|supercategory]] of R-diagrams, or more generally, [[../RCategory/|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 [[../TrivialGroupoid/|functors]] according to the standard Barry Mitchell's construction.