Left unit law. λ is the left unitor in the appropriate category.
Free Monoidal Functors, Categorically! » laxleft
Bartosz Milewski's Programming Cafe
Category Theory, Haskell, Concurrency, C++
Left unit law. λ is the left unitor in the appropriate category.
Leave a Reply