School of Cognitive and Computing Sciences
University of Sussex
4pm Tuesday 18 February 2003
Room 2511, JCMB, King's Buildings
We introduce G-relative-pushouts GRPO as a 2-categorical generalisation of Leifer and Milner's relative-pushouts. GRPOs can be used to derive labelled transition systems from reduction systems where terms are viewed modulo a structural congruence. We explore their basic properties and illustrate them on some basic examples.