Noun
(category theory) The inversion operation of a cogroup object. A coinversion must satisfy the dual versions of the axioms for group objects.
The simultaneous inversion of multiple related objects.