Speaker:
Paulina Radecka (Warsaw University of Technology / Institute of 
Mathematics, Czech Academy of Sciences)

Title:
Abstract evolution systems

Abstract:
An evolution system is a category with a  distinguished class of arrows
- called transitions - and a fixed object called the origin. This simple
yet powerful concept turns out to be a convenient framework for studying
Fraïssé limits.
It also generalizes the notion of abstract rewriting systems, where the
result of rewriting is what matters the most. In our setting we pay more
attention to the process of obtaining certain object itself - the
quality or cost of the process plays a significant role. The variant of
Newmann's lemma holds in our setting.
We shall explain these ideas, showing some relevant examples and
pointing out similarities and differences between rewriting and
evolution.