  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.
