Fork of Python 2.7 with new syntax, builtins, libraries backported from Python 3
Fork of Python 2.7 with new syntax, builtins, and libraries backported from Python 3. - naftaliharris/tauthon... (more…)
Read more »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