A Lefschetz fixed point theorem for multivalued maps of finite spaces

Jonathan Ariel Barmak, Marian Mrozek, Thomas Wanner

We prove a version of the Lefschetz fixed point theorem for multivalued maps $F:X⊸X$ in which $X$ is a finite $T_0$ space.