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
- 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)
The arrows of Pair.
The functor from Pair to (~>), a diagram of 2 objects in (~>).