Bartosz Milewski Category Theory Lectures →
#
>

7.2 Monoidal categories, Functoriality of ADTs, Profunctors

→