/scala212-category-theory-set-semiring

Implementation and proof that Set category is semiring with product and coproduct.

Primary LanguageScala

No issues in this repository yet.