Autor:	Cicala, Daniel
Rok vydání:	2020
Předmět:	Mathematics - Category Theory Computer Science - Formal Languages and Automata Theory Computer Science - Social and Information Networks
Druh dokumentu:	Working Paper
Popis:	To foster the study of networks on an abstract level, we further study the formalism of structured cospans. We define a topos of structured cospans and establish its theory of rewriting. For the rewrite relation, we propose a double categorical semantics to encode the compositionality of the structure cospans. For an application, we generalize the inductive viewpoint of graph rewriting to rewriting in a wider class of topoi.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2001.09029 Zobrazit plný text záznamu View this record from Arxiv