图的拓扑结构导览
A Guided Tour in the Topos of Graphs
摘要：
在本文中，我们调查的基本结构的预层拓扑图的情况下的基本拓扑图。我们证明了非确定自动机（a.k.a.）标号转移系统）是双重否定拓扑的分离预层，并作为应用得到了它们的范畴是拟拓扑。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
