/java11-category-theory-powerset-poset-product

Implementation of product in powerset poset category.

Primary LanguageJava

Stargazers