Computing homotopy classes for diagrams

Marek Filakovský, Lukáš Vokřínek

We present an algorithm that, given finite simplicial sets $X$, $A$, $Y$ with an action of a finite group $G$, computes the set $[X,Y{]}_G^A$ of homotopy classes of equivariant maps…