A Guided Tour in the Topos of Graphs

Details A Guided Tour in the Topos of Graphs A Guided Tour in the Topos of Graphs

2003-06-27

arxiv.org/abs/math/0306394v1

Mathematics

Category Theory

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A Guided Tour in the Topos of Graphs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Guided Tour in the Topos of Graphs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Guided Tour in the Topos of Graphs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-335493