Copyright | 2008 Edward Kmett |
---|---|

License | BSD |

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

Stability | experimental |

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

Safe Haskell | Trustworthy |

Language | Haskell2010 |

- 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 where Source

A category in which `factor`

is an isomorphism

Distributive (->) |