Towards a Categorical Axiomatics of Bisimulation (1999)
Gian Luca Cattani, A. John Power, Glynn Winskel
We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps. The axiomatisation centres on 2-monads, T , on Cat....
A Representation Result for Free Cocompletions (1999)
A. John Power, Gian Luca Cattani, Glynn Winskel
Given a class F of weights, one can consider the construction that takes a small category C to the free cocompletion of C under weighted colimits, for which the weight lies in F . Provided these free...
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement (1997)
Yoshiki Kinoshita, Peter W. O'hearn, A. John Power, Makoto Takeyama, Robert D. Tennent
We introduce an axiomatic approach to logical relations and data refinement. We consider a programming language and the monad on the category of small categories generated by it. We identify abstract...
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement (1997)
Yoshiki Kinoshita, Peter W. O'Hearn, A. John Power, Makoto Takeyama, Robert D. Tennent
We introduce an axiomatic approach to logical relations and data refinement. We consider a programming language and the monad on the category of small categories generated by it. We identify abstract...
A Representation Result for Free Cocompletions
John Power Gian, A. John Power, Gian Luca Cattani, Glynn Winskel
Given a class F of weights, one can consider the construction that takes a small category C to the free cocompletion of C under weighted colimits, for which the weight lies in F . Provided these free...