Hello! Does anybody know an image of a graph featuring the hierarchy of algebraic structures? Something rather complete.
So far I've found similar images describing the hierarchies of classes/categories in various programming languages. For example
- Haskell's basic algebra library
- Coq's math classes
- So far the largest Axiom's abbreviated and full name graph of its categories (incomplete?)