Skip to main content
eScholarship
Open Access Publications from the University of California

Rewriting Structured Cospans: A Syntax for Open Systems

  • Author(s): Cicala, Daniel Michael
  • Advisor(s): Baez, John
  • et al.
No data is associated with this publication.
Creative Commons Attribution 4.0 International Public License
Abstract

The concept of a system has proliferated through natural

and social sciences. While myriad theories of systems

exist, there is no mathematical general theory of

systems. In this thesis, we take a first step towards

formulating such a theory. Our focus is on developing a

syntax for compositional systems equipped with a rewriting

theory. We pull from category theory and linguistics to

accomplish this. The basic syntactical unit is a

structured cospan and rewriting is introduced via the

double pushout method. Two versions of rewriting are

proposed: one that tracks intermediate steps and another

disregards them. Benefits and drawbacks of both versions

are discussed. We apply our results to the decomposition

of closed systems, obtaining a structurally inductive

viewpoint of rewriting such systems.

Main Content

This item is under embargo until January 22, 2020.