21 citations · 22 across the 2 of their papers we have counts for
1 paper · 1 filter
Sebastiano Vigna
In this paper we survey the fundamental constructions of a presheaf topos in the case of the elementary topos of graphs. We prove that the transition graphs of nondeterministic aut…