category-extras-0.53.4: Various modules and constructs inspired by category theory

Portabilitynon-portable (class-associated types)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Category.Distributive

Contents

Description

 

Synopsis

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