Corpus ID: 119567772

A simplified definition of logically distributive categories

@article{Benini2014ASD,
  title={A simplified definition of logically distributive categories},
  author={M. Benini},
  journal={arXiv: Category Theory},
  year={2014}
}
  • M. Benini
  • Published 2014
  • Mathematics
  • arXiv: Category Theory
  • In [Ben13], the notion of logically distributive category has been introduced to provide a sound and complete semantics to multi-sorted first-order logical theories based on intuitionistic logic. In this note, it will be shown that the definition of logically distributive category can be simplified by dropping two requirements, the one saying that product must distribute over sum, and the one saying that product must distribute over existential quantification. 

    References

    Publications referenced by this paper.
    SHOWING 1-4 OF 4 REFERENCES
    Topoi: The Categorial Analysis of Logic
    • 623
    Handbook Of Categorical Algebra 1 Basic Category Theory
    • 298
    • Open Access
    Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism
    • 2
    • Open Access
    Cartesian closed categories are distributive
    • 1
    • Open Access