coinversion

Today it means: The inversion operation of a cogroup object. A coinversion must satisfy the dual versions of the axioms for group objects. Full definition →