Conditionals in Distributive Categories
In a distributive category (a category in which the product distributes over the coproduct), coproducts can be used to model conditional expressions. We develop such a theory of conditionals.
| Autor principal: | |
|---|---|
| Formato: | Report |
| Publicado em: |
School of Computing and Mathematical Sciences‚ Oxford Brookes University
1997
|
| Resumo: | In a distributive category (a category in which the product distributes over the coproduct), coproducts can be used to model conditional expressions. We develop such a theory of conditionals. |
|---|