Corpus ID: 119602948

The Morita-equivalence between MV-algebras and abelian $\ell$-groups with strong unit

@article{Caramello2013TheMB,
  title={The Morita-equivalence between MV-algebras and abelian \$\ell\$-groups with strong unit},
  author={Olivia Caramello and Anna Carla Russo},
  journal={arXiv: Category Theory},
  year={2013}
}
  • Olivia Caramello, Anna Carla Russo
  • Published 2013
  • Mathematics
  • arXiv: Category Theory
  • We show that the theory of MV-algebras is Morita-equivalent to that of abelian $\ell$-groups with strong unit. This generalizes the well-known equivalence between the categories of set-based models of the two theories established by D. Mundici in 1986, and allows to transfer properties and results across them by using the methods of topos theory. We discuss several applications, including a sheaf-theoretic version of Mundici's equivalence and a bijective correspondence between the geometric… CONTINUE READING

    Citations

    Publications citing this paper.