A categorical equivalence between algebraic contexts with relational morphisms and join-semilattices with homomorphisms is presented and extended to idempotent semirings and domain semirings. These contexts are the Kripke structures for idempotent semirings and allow more efficient computations on finite models because they can be logarithmically smaller than the original semiring. Some examples and constructions such as matrix semirings are also considered. © 2012 Springer-Verlag.
CITATION STYLE
Jipsen, P. (2012). Categories of algebraic contexts equivalent to idempotent semirings and domain semirings. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7560 LNCS, pp. 195–206). https://doi.org/10.1007/978-3-642-33314-9_13
Mendeley helps you to discover research relevant for your work.