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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Birkhoff, G.: Lattice Theory, 3rd edn. AMS Colloquium Publications, vol. XXV. American Mathematical Society, Providence (1967)
Davey, B., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)
Dunn, J.M., Gehrke, M., Palmigiano, A.: Canonical extensions and relational completeness of some substructural logics. Journal of Symbolic Logic 70(3), 713–740 (2005)
Erné, M.: Categories of contexts (preprint), http://www.iazd.uni-hannover.de/~erne/preprints/CatConts.pdf
Galatos, N., Jipsen, P.: Residuated frames with applications to decidability. To appear in Transactions of the American Math. Soc.
Ganter, B., Wille, R.: Formal concept analysis. Mathematical foundations. Springer, Berlin (1999)
Gehrke, M.: Generalized Kripke frames. Studia Logica 84, 241–275 (2006)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications, vol. 93. Cambridge University Press (2003)
Hartung, G.: A topological representation of lattices. Algebra Universalis 29(2), 273–299 (1992)
Hitzler, P., Krötzsch, M., Zhang, G.-Q.: A categorical view on algebraic lattices in formal concept analysis. Fundamenta Informaticae 74, 301–328 (2006)
Hofmann, K.H., Mislove, M.W., Stralka, A.R.: The Pontryagin Duality of Compact 0-Dimensional Semilattices and Its Applications. Lecture Notes in Mathematics, vol. 396. Springer (1974)
Moshier, M.A.: A relational category of formal contexts (preprint)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jipsen, P. (2012). Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings. In: Kahl, W., Griffin, T.G. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2012. Lecture Notes in Computer Science, vol 7560. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33314-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-33314-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33313-2
Online ISBN: 978-3-642-33314-9
eBook Packages: Computer ScienceComputer Science (R0)