Comment Comment by whatshisface Because applied category theory stops at translating everything into boxes and arrows. There's no "applied Yoneda lemma." parent whatshisface 4 years ago