categories-1.0.2: Categories

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

Control.Category.Distributive

Contents

Description

 

Synopsis

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

Methods

distribute :: Product k a (Sum k b c) `k` Sum k (Product k a b) (Product k a c)Source

Instances