Dualities in modal logic from the point of view of triples
classification
🧮 math.LO
keywords
sidecategoriessomealgebraicalgebrasbimorphismscartesiancases
Add this Pith Number to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{BHXW2VCL}
Prints a linked pith:BHXW2VCL badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
read the original abstract
In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on the other. Furthermore, we investigate the monoidal structure induced by Cartesian product on the relational side and show that in some cases the corresponding operation on the algebraic side represents bimorphisms.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.