| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
OAlg.Adjunction.Limes
Contents
Description
mapping of Limits under Adjunctions.
Synopsis
- lmPrjMap :: Hom Mlt h => Adjunction h d c -> Limes Mlt Projective t n m d -> Limes Mlt Projective t n m c
- lmInjMap :: Hom Mlt h => Adjunction h d c -> Limes Mlt Injective t n m c -> Limes Mlt Injective t n m d
- lmPrjMapDst :: Hom Dst h => Adjunction h d c -> Limes Dst Projective t n m d -> Limes Dst Projective t n m c
- lmInjMapDst :: Hom Dst h => Adjunction h d c -> Limes Dst Injective t n m c -> Limes Dst Injective t n m d
Multiplicative
lmPrjMap :: Hom Mlt h => Adjunction h d c -> Limes Mlt Projective t n m d -> Limes Mlt Projective t n m c Source #
mapping a projective limes under an adjunction.
lmInjMap :: Hom Mlt h => Adjunction h d c -> Limes Mlt Injective t n m c -> Limes Mlt Injective t n m d Source #
mapping a injective limes under an adjunction.
Distributive
lmPrjMapDst :: Hom Dst h => Adjunction h d c -> Limes Dst Projective t n m d -> Limes Dst Projective t n m c Source #
mapping a projective limes under an adjunction.