A simplified definition of logically distributive categories
Category Theory
2014-06-06 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1406.1251,
title = {A simplified definition of logically distributive categories},
author = {Marco Benini},
journal= {arXiv preprint arXiv:1406.1251},
year = {2014}
}