Ahh, very nice. While at it: here's a very nice etymological explanation of why the Ubuntu-Yoneda lemma is called the Ubuntu-Yoneda lemma: https://golem.ph.ute

Ahh, very nice. While at it: here's a very nice etymological explanation of why the Ubuntu-Yoneda lemma is called the Ubuntu-Yoneda lemma: https://golem.ph.utexas.edu/category/2013/03/spivak_on_category_theory.html#c043578 https://golem.ph.utexas.edu/category/2013/03/spivak_on_categ...