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$).
@article{0008039,
author = {Coecke, Bob and Stubbe, Isar},
title = {State transitions as morphisms for complete lattices},
journal = {arXiv},
volume = {2000},
number = {0},
year = {2000},
language = {en},
url = {http://dml.mathdoc.fr/item/0008039}
}
Coecke, Bob; Stubbe, Isar. State transitions as morphisms for complete lattices. arXiv, Tome 2000 (2000) no. 0, . http://gdmltest.u-ga.fr/item/0008039/