In: Ehrig, H.; et al.: Lecture Notes in Computer Science, Vol. 393; Categorical Methods in Computer Science, pages 315-324. Springer-Verlag, 1989.
Abstract: In this paper net theory is studied from a categorial point of view. It turns out that the category Net of nets is a universally topological category over the category of pairs of disjoint sets such that products of final maps are final. Consequently, Net is a quasitopos with concrete powers. Furthermore, occurrence nets are studied and it is shown that the full subcategory of Net, whose objects are all the nets with unbranched conditions, is extremal epireflexive in Net.
Keywords: topological structure (of) net; quasitopos; occurrence net.