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.
| Главный автор: | |
|---|---|
| Формат: | Report |
| Опубликовано: |
School of Computing and Mathematical Sciences‚ Oxford Brookes University
1997
|
| _version_ | 1826274404126949376 |
|---|---|
| author | Gibbons, J |
| author_facet | Gibbons, J |
| author_sort | Gibbons, J |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-06T22:42:55Z |
| format | Report |
| id | oxford-uuid:5c347abb-94df-4dec-8d07-76134111654e |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:42:55Z |
| publishDate | 1997 |
| publisher | School of Computing and Mathematical Sciences‚ Oxford Brookes University |
| record_format | dspace |
| spelling | oxford-uuid:5c347abb-94df-4dec-8d07-76134111654e2022-03-26T17:26:42ZConditionals in Distributive CategoriesReporthttp://purl.org/coar/resource_type/c_93fcuuid:5c347abb-94df-4dec-8d07-76134111654eDepartment of Computer ScienceSchool of Computing and Mathematical Sciences‚ Oxford Brookes University1997Gibbons, JIn 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. |
| spellingShingle | Gibbons, J Conditionals in Distributive Categories |
| title | Conditionals in Distributive Categories |
| title_full | Conditionals in Distributive Categories |
| title_fullStr | Conditionals in Distributive Categories |
| title_full_unstemmed | Conditionals in Distributive Categories |
| title_short | Conditionals in Distributive Categories |
| title_sort | conditionals in distributive categories |
| work_keys_str_mv | AT gibbonsj conditionalsindistributivecategories |