Switch to: References

Add citations

You must login to add citations.
  1. AF-algebras with lattice-ordered K0: Logic and computation.Daniele Mundici - 2023 - Annals of Pure and Applied Logic 174 (1):103182.
    Download  
     
    Export citation  
     
    Bookmark  
  • Duality for Coalgebras for Vietoris and Monadicity.Marco Abbadini & Ivan di Liberti - forthcoming - Journal of Symbolic Logic:1-34.
    We prove that the opposite of the category of coalgebras for the Vietoris endofunctor on the category of compact Hausdorff spaces is monadic over $\mathsf {Set}$. We deliver an analogous result for the upper, lower, and convex Vietoris endofunctors acting on the category of stably compact spaces. We provide axiomatizations of the associated (infinitary) varieties. This can be seen as a version of Jónsson–Tarski duality for modal algebras beyond the zero-dimensional setting.
    Download  
     
    Export citation  
     
    Bookmark