Sciweavers

ENTCS
2002
95views more  ENTCS 2002»
13 years 11 months ago
Deriving Bisimulation Congruences: A 2-categorical Approach
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for p...
Vladimiro Sassone, Pawel Sobocinski
ACS
2007
13 years 11 months ago
Yoneda Structures from 2-toposes
A 2-categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling ...
Mark Weber