Skip to main content

Conditionals in Distributive Categories

Jeremy Gibbons

Abstract

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.

Institution
School of Computing and Mathematical Sciences‚ Oxford Brookes University
Month
jan
Number
CMS−TR−97−01
Year
1997