• “Proof and other Dilemmas: When is One Thing Equal to Some Other Thing?” Barry Mazur 2008
  • “Which Functor Is the Projective Line?” Daniel K. Biss, 2003
  • Yoneda Lemma Wikipedia
  • [Notes on Category Theory in Scala 3 (Dotty) Typista.org](https://typista.org/categories-in-dotty/)
  • DaoFP