I think I finally grok it

Sometime it's so much easier to make your own diagrams.  The arrow represents the "is a" relationship with labels to specify.

I left the crazy cousin "homeo" out of the family tree, cause he's just too topological.