| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | None |
| Language | Haskell2010 |
OAlg.Hom.Oriented.Proposition
Description
propositions on homomorphisms between Oriented structures.
Synopsis
- prpHomOrientedDisjunctive :: forall (h :: Type -> Type -> Type). (HomOrientedDisjunctive h, Show2 h) => X (SomeApplication h) -> Statement
- prpHomOriented :: forall (h :: Type -> Type -> Type). (HomOriented h, Show2 h) => X (SomeApplication h) -> Statement
- prpDualisableOriented :: forall s (o :: Type -> Type) q x. DualisableOriented s o => q o -> Struct s x -> XOrt x -> Statement
- prpHomDisjOpOrt :: Statement
Disjunctive Homomorphism
prpHomOrientedDisjunctive :: forall (h :: Type -> Type -> Type). (HomOrientedDisjunctive h, Show2 h) => X (SomeApplication h) -> Statement Source #
validity according to HomOrientedDisjunctive.
prpHomOriented :: forall (h :: Type -> Type -> Type). (HomOriented h, Show2 h) => X (SomeApplication h) -> Statement Source #
validity according to HomOriented.
Duality
prpDualisableOriented :: forall s (o :: Type -> Type) q x. DualisableOriented s o => q o -> Struct s x -> XOrt x -> Statement Source #
validity according to DualisableOriented.
HomDisj
prpHomDisjOpOrt :: Statement Source #
validity of HomDisjEmpty Ort OpprpCategoryDisjunctive,
prpCategoryDualisable, prpFunctorialG and prpHomOrientedDisjunctive.