standardize notation for equivariant categories
slightly incorrect formulation