2 ms·Computational Category Theory in Python 3: Monoids, Groups, and Preorders4 points by adamnemecek 7y ago