2003/06/27 by Sebastiano Vigna, Vigna, Sebastiano · 2 citations
Computer Science · Mathematics · #05C99 #18B25 #Advanced Graph Theory Research #Category Theory (math.CT) #FOS: Mathematics #Formal Methods in Verification #Graph Labeling and Dimension Problems #math.CT #msc:05C99 #msc:18B25
paper · pdf · doi:10.48550/arxiv.math/0306394
arxiv created 2003/06/27 · openalex publication_date 2003/06/27 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 automata (a.k.a. labelled transition systems) are the separated presheaves for the double negation topology, and obtain as an application that their category is a quasitopos.