Operational resolutions and state transitions in a categorical setting
  We define a category with as objects operational resolutions and with as morphisms - not necessarily deterministic - state transitions. We study connections with closure spaces and join-complete lattices and sketch physical applications related to evolution and compoundness. An appendix with preliminaries on quantaloids is included. 
Bob Coecke and Isar Stubbe