A Guided Tour in the Topos of Graphs
Sebastiano Vigna
Abstract
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.
Create a lesson
Related papers
Cocompactness and Presentability
Thorger Geiß, Phil Pützstück, Maxime Ramzi
Gabriel--Zisman Localizations, Products, Coproducts, and Product Categories
Chencheng Zhang
An abelian envelope without the quotient property
Johannes Flake, Jonathan Gruber, Thorsten Heidersdorf
On Models of the Planar Lambda Calculus
Chad Nester
Mixing Extriangulated Model Structures
Junpeng Ren, Xianhui Fu
Grothendieck Topologies Are Extensional Presentations of the Form of Sieves
Roy Ferguson, Zurab Janelidze