Given two GKM varieties $X$ and $Y$, an equivariant morphism from $X$ to $Y$ induces a map from the torus-fixed points of $X$ to the torus-fixed points of $Y$.
A EquivariantMap C is a HashTable consisting of three keys:
The object EquivariantMap is a type, with ancestor classes HashTable < Thing.