| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | None |
| Language | Haskell2010 |
OAlg.Hom.Distributive
Contents
Description
homomorphisms between Distributive structure.
Synopsis
- class (HomFibredOriented h, HomMultiplicative h, HomAdditive h, Transformable (ObjectClass h) Dst) => HomDistributive (h :: Type -> Type -> Type)
- homDisjOpDst :: HomDistributive h => h x y -> Variant2 'Covariant (HomDisj Dst Op h) x y
- class (HomFibredOrientedDisjunctive h, HomMultiplicativeDisjunctive h, HomAdditive h, Transformable (ObjectClass h) Dst) => HomDistributiveDisjunctive (h :: Type -> Type -> Type)
- type DualisableDistributive s (o :: Type -> Type) = (DualisableFibredOriented s o, DualisableMultiplicative s o, DualisableAdditive s o, Transformable s Dst)
- toDualOpDst :: Distributive x => Variant2 'Contravariant (IsoO Dst Op) x (Op x)
Distributive
class (HomFibredOriented h, HomMultiplicative h, HomAdditive h, Transformable (ObjectClass h) Dst) => HomDistributive (h :: Type -> Type -> Type) Source #
covariant homomorphisms between Distributive structures.
Instances
| HomDistributive h => HomDistributive (Inv2 h) Source # | |
Defined in OAlg.Hom.Distributive | |
| HomDistributive h => HomDistributive (Path h) Source # | |
Defined in OAlg.Hom.Distributive | |
| TransformableDst s => HomDistributive (Ornt s) Source # | |
Defined in OAlg.Data.Ornt | |
| (TransformableOrt s, TransformableFbr s, TransformableFbrOrt s, TransformableMlt s, TransformableAdd s, TransformableDst s) => HomDistributive (HomEmpty s) Source # | |
Defined in OAlg.Hom.Distributive | |
| HomDistributiveDisjunctive h => HomDistributive (Variant2 'Covariant h) Source # | |
Defined in OAlg.Hom.Distributive | |
homDisjOpDst :: HomDistributive h => h x y -> Variant2 'Covariant (HomDisj Dst Op h) x y Source #
canonical embedding of HomDistributive to HomDisj Dst Op
class (HomFibredOrientedDisjunctive h, HomMultiplicativeDisjunctive h, HomAdditive h, Transformable (ObjectClass h) Dst) => HomDistributiveDisjunctive (h :: Type -> Type -> Type) Source #
disjunctive homomorphisms between Distributive structures.
Instances
| (CategoryDisjunctive h, HomDistributiveDisjunctive h) => HomDistributiveDisjunctive (Inv2 h) Source # | |
Defined in OAlg.Hom.Distributive | |
| (TransformableDst s, HomDistributiveDisjunctive h) => HomDistributiveDisjunctive (Sub s h) Source # | |
Defined in OAlg.Hom.Distributive | |
| (DualisableDistributive s o, TransformableGRefl o s, TransformableGRefl Matrix s, TransformableDst s) => HomDistributiveDisjunctive (HomCo Matrix s o) Source # | |
Defined in OAlg.Entity.Matrix.Definition | |
| (HomDistributive h, DualisableDistributive s o) => HomDistributiveDisjunctive (HomDisj s o h) Source # | |
Defined in OAlg.Hom.Distributive | |
type DualisableDistributive s (o :: Type -> Type) = (DualisableFibredOriented s o, DualisableMultiplicative s o, DualisableAdditive s o, Transformable s Dst) Source #
duality according to o on Distributive structures.
Iso
toDualOpDst :: Distributive x => Variant2 'Contravariant (IsoO Dst Op) x (Op x) Source #
the canonical Contravariant isomorphism on Distributive structures
between x and Op x