Además del grupo fundamental existen otros invariantes algebraicos definibles sobre una categoría de espacios topológicos homeomorfos.