Portability | non-portable (class-associated types) |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Safe Haskell | Safe-Infered |

- factor :: (Cartesian k, CoCartesian k) => Sum k (Product k a b) (Product k a c) `k` Product k a (Sum k b c)
- class (Cartesian k, CoCartesian k) => Distributive k where

# Distributive Categories

factor :: (Cartesian k, CoCartesian k) => Sum k (Product k a b) (Product k a c) `k` Product k a (Sum k b c)Source

The canonical factoring morphism.

class (Cartesian k, CoCartesian k) => Distributive k whereSource

A category in which `factor`

is an isomorphism

Distributive (->) |