| Portability | non-portable (class-associated types) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | None |
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 whereSource
A category in which factor is an isomorphism
Instances
| Distributive (->) |