A Guided Tour in the Topos of Graphs

Simple item page
dc.creatorVigna, Sebastiano
dc.date2003-06-27
dc.date.accessioned2026-07-07T04:59:14Z
dc.date.available2026-07-07T04:59:14Z
dc.descriptionIn 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.
dc.identifierhttps://arxiv.org/abs/math/0306394
dc.identifierhttp://arxiv.org/abs/math/0306394
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/67903
dc.subjectCategory Theory
dc.subject18B25; 05C99
dc.titleA Guided Tour in the Topos of Graphs
dc.typetext

Files

Collections

arXiv