I'm wondering what are the right properties to test here. It seems to me that if lens composition is a product in some category, this is probably the coproduct (or viceversa?). Unfortunately I haven't found any info after a quick search. If you have any clue or reference please let me know!
Related issues
601
Goal
Add or combinator to PPRism.
Testing details
I'm wondering what are the right properties to test here. It seems to me that if lens composition is a product in some category, this is probably the coproduct (or viceversa?). Unfortunately I haven't found any info after a quick search. If you have any clue or reference please let me know!