Unitor

Unitor

In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor

Read more about Unitor.