triangle identity of a monoidal category

1. Definition

let 20231104-triangle_identity_of_a_monoidal_category_760824120891fc757bc0445145b027d09b237baa.svg be a monoidal category, then following diagrams commute

20231104-triangle_identity_of_a_monoidal_category_47402d49db9597cd3b8b960b029bae0ebf017614.svg

where

  1. 20231104-triangle_identity_of_a_monoidal_category_2b018c19889d96ea7d0d9f39db9cb4e5ace37e19.svg is the left unitor
  2. 20231104-triangle_identity_of_a_monoidal_category_0d1f024f028117454262eed3064f85adb781c063.svg is the right unitor

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 19:02