2 papers
cs.FL2023
Automata in toposes, and general Myhill-Nerode theorems
Victor Iwaniack
We extend the functorial approach to automata by Colcombet and Petrişan [arXiv:1712.07121] from the category of sets to any elementary topos with a natural number object and establ…
math.CT2023
On the profinite fundamental group of a connected Grothendieck topos
Clemens Berger, Victor Iwaniack
We show that finite (i.e. locally finite and decomposition-finite) objects of a connected Grothendieck topos span a Boolean pretopos with an essentially unique Galois point. The au…