Showing math.ATShow all
2 papers · 1 filter
math.AT2021
Computing homotopy classes for diagrams
Marek Filakovský, Lukáš Vokřínek
We present an algorithm that, given finite simplicial sets , , with an action of a finite group , computes the set of homotopy classes of equivariant maps…
math.AT2013
Are two given maps homotopic? An algorithmic viewpoint
Marek Filakovský, Lukáš Vokřínek
This paper presents two algorithms. In their simplest form, the first algorithm decides the existence of a pointed homotopy between given simplicial maps f, g from X to Y and the s…