Unitor ( $λ, ρ$ )

λ_{X} : I \otimes X \to X

and

ρ_{X} : X \otimes I \to X

in a monoidal category. Together with the associator they satisfy the triangle axiom.

 Ancestors (6)

There are no discussions about this article yet.

There are currently no matching articles.