laxright | Bartosz Milewski's Programming Cafe

Free Monoidal Functors, Categorically! » laxright

Right unit law. ρ is the right unitor in the appropriate category.

Leave a comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.