Yeah exactly. I am interested in practical applications for programmers. I know a thing or two about the prevalance of categories in Mathematics (https://arxiv

Yeah exactly. I am interested in practical applications for programmers. I know a thing or two about the prevalance of categories in Mathematics (https://arxiv.org/abs/1012.3121 https://arxiv.org/abs/1012.3121). I heared many people talk about Haskell, Monads and Types <=> Proof duality, but I never heard anyone saying: "I applied the Yoneda Lemma to build this API.", or "I read about Category Theory and now $CONCEPT_XYZ started making sense to me."