Operational resolutions and state transitions in a categorical setting - Bob Coecke; Isar Stubbe (2000)