Switch to: References

Add citations

You must login to add citations.
  1. A Category of Ordered Algebras Equivalent to the Category of Multialgebras.Marcelo Esteban Coniglio & Guilherme V. Toledo - 2023 - Bulletin of the Section of Logic 52 (4):517-550.
    It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (\(\textit{CABA}\)s) taking a set to its power-set and, conversely, a complete, atomic Boolean algebra to its set of atomic elements. Of course, such a correspondence induces an equivalence between the opposite category of \(\textbf{Set}\) and the category of \(\textit{CABA}\)s. We modify this result by taking multialgebras over a signature \(\Sigma\), specifically those whose non-deterministic operations cannot return the empty-set, to \(\textit{CABA}\)s with their zero element (...)
    Download  
     
    Export citation  
     
    Bookmark