BRICS RS-98-22 Cattani et al.: A Categorical Axiomatics for Bisimulation BRICS Basic Research in Computer Science A Categorical Axiomatics for Bisimulation Gian Luca Cattani John Power Glynn Winskel BRICS Report Series RS-98-22 ISSN 0909-0878 September 1998