Right unit law. ρ is the right unitor in the appropriate category.
Free Monoidal Functors, Categorically! » laxright
Bartosz Milewski's Programming Cafe
Category Theory, Haskell, Concurrency, C++
Right unit law. ρ is the right unitor in the appropriate category.
Leave a Reply