Haskell: Control.Category.Monoidal: Inverse von Associate, IDL und idr

Question

Control.Category.Associative erklärt die morphism associate:

class Bifunctor p k k k => Associative k p where 
    associate :: k (p (p a b) c) (p a (p b c)) 

Aber, wie ich monoidal Kategorien zu verstehen, sollte die Assoziator ein Isomorphismus sein. Wo ist die Umkehrung? Control.Categor.Monoidal deklariert es auch nicht, nur die linken und rechten Einheit Komponenten (idl und idr), und auch ihre Inverse.

Gibt es eine Möglichkeit, die Inversen von diesen Morphismen in einer kanonischen Weise zu erhalten, die ich übersehen habe, oder warum werden die Inversen weggelassen?

Answer 1

Sieht aus wie die Umkehrung durch die Klasse Coassociative definiert wird, und es ist wahrscheinlich nur so für mehr Granularität und Allgemeinheit.