category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Category.Distributive
Portabilitynon-portable (class-associated types)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Contents
Distributive Categories
Description
Synopsis
factor :: (PreCartesian hom prod, PreCoCartesian hom sum) => hom (sum (prod a b) (prod a c)) (prod a (sum b c))
class (PreCartesian hom prod, PreCoCartesian hom sum) => Distributive hom prod sum where
distribute :: hom (prod a (sum b c)) (sum (prod a b) (prod a c))
Distributive Categories
factor :: (PreCartesian hom prod, PreCoCartesian hom sum) => hom (sum (prod a b) (prod a c)) (prod a (sum b c))Source
the canonical factoring morphism
class (PreCartesian hom prod, PreCoCartesian hom sum) => Distributive hom prod sum whereSource
A category in which factor is an isomorphism
Methods
distribute :: hom (prod a (sum b c)) (sum (prod a b) (prod a c))Source
show/hide Instances
Produced by Haddock version 2.4.2