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][1] - [Coq's math classes][4] - So far the largest Axiom's [abbreviated][2] and [full name][3] graph of its categories (incomplete?) [1]: http://ubuntuone.com/p/19TS/ [2]: http://www.axiom-developer.org/axiom-website/dotabb.html [3]: http://daly.axiom-developer.org/dotfull.html [4]: http://math-classes.org/hierarchy.png