antipode is another mathematical concept: a Hopf algebra structure contains an antipode map. Include a link to Hopf algebra?