| Copyright | 2008 Edward Kmett |
|---|---|
| License | BSD |
| Maintainer | Edward Kmett <[email protected]> |
| Stability | experimental |
| Portability | non-portable (class-associated types) |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Control.Category.Distributive
Contents
Description
- 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
Instances
| Distributive (->) |