pentagon identity
1. Definition
Let 
be a monoidal category, then following diagram commutes
where 
is the associator of a monoidal category
Let be a monoidal category, then following diagram commutes
where is the associator of a monoidal category
Date: nil
Created: 2024-10-13 So 19:02