『はじめに - Scalaで始める圏論入門』2023/3/26 16:04:00 https://criceta.com/category-theory-with-scala/ 接触元 https://misskey.io/notes/9csm9q79jx
