Corpus ID: 237940844

Abstract evolution systems

@inproceedings{Kubis2021AbstractES,
  title={Abstract evolution systems},
  author={Wieslaw Kubi's and Paulina Radecka},
  year={2021}
}
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… Expand

References

SHOWING 1-10 OF 15 REFERENCES
On Theories with a Combinatorial Definition of "Equivalence"
The name "combinatorial theory" is often given to branches of mathematics in which the central concept is an equivalence relation defined by means of certain "allowed transformations" or "moves." AExpand
Building Models by Games
TLDR
A general method for building infinite mathematical structures, and its applications in algebra and model theory are introduced, and a wide variety of algebraic applications are studied. Expand
∞-Categories for the Working Mathematician
homotopy theory C.1. Lifting properties, weak factorization systems, and Leibniz closure C.1.1. Lemma. Any class of maps characterized by a right lifting property is closed under composition,Expand
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  • G. Huet
  • Computer Science, Mathematics
  • J. ACM
  • 1980
TLDR
This paper gives new results, and presents old ones, concerning ChurchRosser theorems for rewrmng systems, depending solely on axioms for a binary relatton called reduction, and how these criteria yield new methods for the mechanizaUon of equattonal theories. Expand
Model Categories
iv Contents Preface vii Chapter 1. Model categories 1 1.1. The definition of a model category 2 1.2. The homotopy category 7 1.3. Quillen functors and derived functors 13 1.3.1. Quillen functors 13Expand
Games with finitely generated structures
TLDR
The concept of weak Fraisse classes is introduced, extending the classical Fraisse theory and revealing its relations to the Banach-Mazur game. Expand
Banach-Mazur game played in partially ordered sets
We present a version of the Banach-Mazur game, where open sets are replaced by elements of a fixed partially ordered set. We show how to apply it in the theory of Fraisse limits and beyond, obtainingExpand
Fraïssé sequences: category-theoretic approach to universal homogeneous structures
  • W. Kubi's
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 2014
We develop category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in topology of compact spaces.
Models and games
Cellular Automata Machines: A New Environment for Modeling.By Tommaso Toffoli and Norman Margolus. MIT Press: 1987. Pp.259. $30, £26.95.
Fraïssé Limits, Ramsey Theory, and topological dynamics of automorphism groups
No Abstract..
...
1
2
...