category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Morphism.Universal
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Note the choice of which is universal and which is couniversal is chosen to make the definitions consistent with limits and colimits.
Documentation
data Couniversal a f x Source
Constructors
Couniversal (a -> f x) (forall z. (a -> f z) -> x -> z)
extractCouniversal :: Couniversal a f x -> a -> f xSource
couniversalize :: (a -> f z) -> Couniversal a f x -> x -> zSource
couniversalIdentity :: Couniversal a Identity aSource
data Universal a f x Source
Constructors
Universal (f x -> a) (forall z. (f z -> a) -> z -> x)
extractUniversal :: Universal a f x -> f x -> aSource
universalize :: Universal a f x -> (f z -> a) -> z -> xSource
universalIdentity :: Universal a Identity aSource
Produced by Haddock version 2.4.2