We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Abstract evolution systems

Abstract: We introduce the concept of an abstract evolution system, which provides a convenient framework for studying generic mathematical structures and their properties. Roughly speaking, an evolution system is a category endowed with a selected class of morphisms called transitions, and with a selected object called the origin. We illustrate it by a series of examples from several areas of mathematics.
Evolution systems can also be viewed as a generalization of abstract rewriting systems, where the partially ordered set is replaced by a category. In our setting, the process of rewriting plays a nontrivial role, whereas in rewriting systems only the result of a reduction/rewriting is relevant. An analogue of Newman's Lemma holds in our setting, although the proof is a bit more delicate, nevertheless, still based on Huet's idea using well founded induction.
Comments: 21 pages
Subjects: Logic (math.LO); Category Theory (math.CT)
MSC classes: 18A05, 03C95, 18A30
Cite as: arXiv:2109.12600 [math.LO]
  (or arXiv:2109.12600v1 [math.LO] for this version)

Submission history

From: Wieslaw Kubiś [view email]
[v1] Sun, 26 Sep 2021 13:26:32 GMT (23kb)

Link back to: arXiv, form interface, contact.