| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | sjoerd@w3future.com |
Data.Category.Pair
Description
Pair, the category with just 2 objects and their identity arrows. The limit and colimit of the functor from Pair to some category provide products and coproducts in that category.
- data P1
- data P2
- data Pair where
- data PairDiagram where
- PairDiagram :: Category ~> => Obj ~> x -> Obj ~> y -> PairDiagram ~> x y
- pairNat :: (Functor f, Functor g, Dom f ~ Pair, Cod f ~ d, Dom g ~ Pair, Cod g ~ d) => f -> g -> Com f g P1 -> Com f g P2 -> Nat Pair d f g
- arrowPair :: Category ~> => (x1 ~> x2) -> (y1 ~> y2) -> Nat Pair ~> (PairDiagram ~> x1 y1) (PairDiagram ~> x2 y2)
Documentation
The arrows of Pair.
Instances
| Category Pair | |
| HasBinaryCoproducts ~> => HasColimits Pair ~> | |
| HasBinaryProducts ~> => HasLimits Pair ~> |
data PairDiagram whereSource
The functor from Pair to (~>), a diagram of 2 objects in (~>).
Constructors
| PairDiagram :: Category ~> => Obj ~> x -> Obj ~> y -> PairDiagram ~> x y |
Instances
| Functor (PairDiagram ~> x y) |
pairNat :: (Functor f, Functor g, Dom f ~ Pair, Cod f ~ d, Dom g ~ Pair, Cod g ~ d) => f -> g -> Com f g P1 -> Com f g P2 -> Nat Pair d f gSource
arrowPair :: Category ~> => (x1 ~> x2) -> (y1 ~> y2) -> Nat Pair ~> (PairDiagram ~> x1 y1) (PairDiagram ~> x2 y2)Source