Snake identity

The two triangular identities

(e \otimes 1_{X}) (1_{X} \otimes n) = 1_{X}

and

(1_{Y} \otimes e) (n \otimes 1_{Y}) = 1_{Y}

, with canonical associators and unitors inserted, for a dual pair in a monoidal category.

 Ancestors (7)

 Incoming links (5)

 View article source

 Discussion (0)

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic Create my own version