Categories of algebraic contexts equivalent to idempotent semirings and domain semirings

  • Authors:

  • Peter Jipsen

  • Affiliations:

  • Chapman University

  • Venue:
  • RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.