Morse theory for loop-free categories

Michał Lipiński, David Mosquera-Lois, Mateusz Przybylski

We extend discrete Morse-Bott theory to the setting of loop-free (or acyclic) categories. First of all, we state a homological version of Quillen's Theorem A in this context and in…