Applied Category Theory Conference: July 5-10

[dmm]

act2020.mit.edu/

Online, free. July 5 - tutorial day: act2020.mit.edu/#tutorialday

Comments

[dmm]

The slides for Tutorial #3, "The Yoneda lemma in the category of Matrices": http://www.math.jhu.edu/~eriehl/matrices.pdf

Now all my objections to the use of categories in programming come back to me.

Categories are difficult. At least, this tutorial, aiming to simplify difficult things, is still too difficult.

A typical programming activity should not be difficult, a typical programming activity should be easy.