Definition 0.1   Superdiagrams $\Sigma_S$ are defined as heterofunctors $\F_S$ that are subject to ETAS axioms and link categorical diagrams $\Sigma_C$ (regarded as (homo)functors, which are subject to the eight ETAC axioms) in a manner similar to how groupoids are being constructed as many-object structures of linked groups with all invertible morphisms between the linked groups. Thus, in the supercategory definition-instead of a groupoid with all invertible morphisms- one replaces the linked groups by several $\Sigma_C$ 's linked by hetero-functors $\F_S$ between such categorical diagrams or categorical sequences with different structure. The heterofunctors corresponding to superdiagrams also need not be invertible (as in the case of supergroupoid structures). In this construction, one defines a supercategorical diagram in terms of the composition ``$*$ '' of the heterofunctors $\F_S$ with the (homo)functors $F_C$ determined by $\Sigma_C$ , so that $$\F_S * F_C := \F_S (F_C);$$ the right hand side of this equation is to be interpreted as a heterofunctor acting on the (homo)functor(s) $F_C$ determined by the categorical diagram, or the categorical sequence, $\Sigma_C$ .