Computational Category Theory in Python 3: Monoids, Groups, and Preorders

From one perspective, categories are just another algebraic structure, like groups, monoids and rings. They are these abstract things that have some abstract equational axioms and operations. They are the next stop on our magnificent category journey. A m… Read more