State transitions as morphisms for complete lattices

Abstract

We enlarge the hom-sets of categories of complete lattices by introducing `state transitions' as generalized morphisms. The obtained category will then be compared with a functorial quantaloidal enrichment and a contextual quantaloidal enrichment that uses a specific concretization in the category of sets and partially defined maps ($Parset$).