jpablo/math-with-scala

Category Theory with Scala

This repo contains some definitions from Algebra and Category Theory in Scala.

Related blog post: https://typista.org/categories-in-dotty/