The mini Yoneda lemma for Type TheoristsPublished bympaviotti.github.ioon •1 min readI have managed to teach the Yoneda lemma to students who knew very little about category theory, here’s how you do it.CategoriesSemanticsLearn moreShareLegalReport