nLab unit object

Redirected from "monoidal unit".
Contents

Contents

Idea

In a monoidal category (C,,I)(C, \otimes, I), the unit object (or tensor unit) II is the object which plays the role of the unit for the tensor product \otimes, in that for any other object aa there are isomorphisms aIaa \otimes I \simeq a and IaaI \otimes a \simeq a (the unitors).

Dually, in a closed category there is a unit object which is such that maps out of it into an internal hom correspond to the external hom.

Last revised on October 11, 2023 at 08:08:59. See the history of this page for a list of all contributions to it.