In mathematics, a categorical ring is, roughly, a category equipped with addition and multiplication.
But the point is that one can also consider the situation in which an element of R comes with a "nontrivial automorphism".
[1] This line of generalization of a ring eventually leads to the notion of an En-ring.
This category theory-related article is a stub.
You can help Wikipedia by expanding it.This abstract algebra-related article is a stub.