There's a concrete object-oriented Python implementation of much of abstract alg...

There's a concrete object-oriented Python implementation of much of abstract algebra is Sage. You can see some of that here: https://github.com/sagemath/sage/blob/master/src/sage/struct...

(Disclaimer: I'm a Sage developer.)

That's pretty interesting, thanks for sharing.