摘要：在这篇论文中，我们调查了在图的基本层次结构的情况下，概形层的基本构造。我们证明了非确定性自动机（也称为标记转换系统）的转换图是双重否定拓扑的分隔预层，并获得了它们的范畴是一个准拓扑的应用。
作者：Sebastiano Vigna
论文ID：math/0306394
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中