Categorical Query Language IDE
Simple implementation of Reader Functor.
Java implementation of Bartosz Milewski examples and challenges of Kleisli Category.
Implementation of product in poset category (binary tree).
Implementation of product in powerset poset category.
Haskell influenced Category Theory patterns implemented in Java
Proof and implementation of coproduct in Set category.
Implementation of product in total poset category.
📓 as I learn all the things.
Simple proof and implementation of product in the Set category.
A tool used to validate whether a given multiplication table (representing a category ass defined in category theory) is a valid finite monoidal category or not
A Java package defining common monads used in Functional Programming
Add a description, image, and links to the category-theory topic page so that developers can more easily learn about it.
To associate your repository with the category-theory topic, visit your repo's landing page and select "manage topics."