In a monoidal category , the unit object (or tensor unit) is the object which plays the role of the unit for the tensor product , in that for any other object there are isomorphisms and (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.