| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
OAlg.Hom.Oriented.Proposition
Contents
Description
propositions on homomorphisms between Oriented structures.
Synopsis
- prpIdHomOrt :: Statement
- prpHomOpOrt :: Statement
- prpIsoOpOrtCategory :: Statement
- prpIsoOpOrtFunctorial :: Statement
- prpHomOrt :: Hom Ort h => XHomOrt h -> Statement
- type XHomOrt h = XAppl h
- prpHomOrt' :: Hom Ort h => h a b -> XOrt a -> Statement
- prpHomOrt1 :: Hom Ort h => h a b -> a -> Statement
- relHomOrtHomomorphous :: Hom Ort h => Homomorphous Ort a b -> h a b -> a -> Statement
- xIsoOpOrtFrom :: XFnctMrphSite From (IsoOp Ort)
Proposition
prpHomOpOrt :: Statement Source #
validity of HomOp OrtHomOriented on Orientation Symbol
prpIsoOpOrtCategory :: Statement Source #
validity of IsoOp OrtCategory on Orientation Symbol
prpIsoOpOrtFunctorial :: Statement Source #
validity of IsoOp OrtFunctorial.
Oriented
prpHomOrt :: Hom Ort h => XHomOrt h -> Statement Source #
validity of homomorphisms between Oriented structures based on the given
random variable.
type XHomOrt h = XAppl h Source #
random variable to validate homomorphisms between Oriented structures.
prpHomOrt' :: Hom Ort h => h a b -> XOrt a -> Statement Source #
validity of homomorphisms between Oriented structures based on the given
random variable.
prpHomOrt1 :: Hom Ort h => h a b -> a -> Statement Source #
validity of homomorphisms between Oriented structures based on the given values.
relHomOrtHomomorphous :: Hom Ort h => Homomorphous Ort a b -> h a b -> a -> Statement Source #
validity of homomorphisms between Oriented for a given value in the domain.