Index

!	Data.Category.NaturalTransformation
%	Data.Category.Functor
&&&	Data.Category.Limit
***	Data.Category.Limit
+++	Data.Category.Limit
.	Data.Category
:%	Data.Category.Functor
:***:
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
:**:
1 (Type/Class)	Data.Category.Product
2 (Data Constructor)	Data.Category.Product
:*-:	Data.Category.Functor
:*:
1 (Type/Class)	Data.Category.Limit
2 (Data Constructor)	Data.Category.Limit
:+++:
1 (Type/Class)	Data.Category.Coproduct
2 (Data Constructor)	Data.Category.Coproduct
:++:	Data.Category.Coproduct
:+:
1 (Type/Class)	Data.Category.Limit
2 (Data Constructor)	Data.Category.Limit
:-*:	Data.Category.Functor
:.:
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
:/\:	Data.Category.Comma
:>>:	Data.Category.Coproduct
:~>	Data.Category.NaturalTransformation
Add
1 (Type/Class)	Data.Category.Simplex
2 (Data Constructor)	Data.Category.Simplex
AdjArrow
1 (Type/Class)	Data.Category.Adjunction
2 (Data Constructor)	Data.Category.Adjunction
Adjunction
1 (Type/Class)	Data.Category.Adjunction
2 (Data Constructor)	Data.Category.Adjunction
adjunctionComonad	Data.Category.Monoidal
adjunctionInitialProp	Data.Category.Adjunction
adjunctionMonad	Data.Category.Monoidal
adjunctionTerminalProp	Data.Category.Adjunction
Alg	Data.Category.Dialg
Algebra	Data.Category.Dialg
Ana	Data.Category.Dialg
Apply
1 (Type/Class)	Data.Category.CartesianClosed
2 (Data Constructor)	Data.Category.CartesianClosed
apply	Data.Category.CartesianClosed
associator	Data.Category.Monoidal
associatorInv	Data.Category.Monoidal
BinaryCoproduct	Data.Category.Limit
BinaryProduct	Data.Category.Limit
Boolean	Data.Category.Boolean
CartesianClosed	Data.Category.CartesianClosed
Cat	Data.Category.Functor
CatA	Data.Category.Functor
Cata	Data.Category.Dialg
Category	Data.Category
CatW	Data.Category.Functor
Coalg	Data.Category.Dialg
Coalgebra	Data.Category.Dialg
Cocone	Data.Category.Limit
coconeVertex	Data.Category.Limit
Cod	Data.Category.Functor
CodiagCoprod
1 (Type/Class)	Data.Category.Coproduct
2 (Data Constructor)	Data.Category.Coproduct
Colimit	Data.Category.Limit
colimit	Data.Category.Limit
colimitAdj	Data.Category.Limit
colimitFactorizer	Data.Category.Limit
ColimitFam	Data.Category.Limit
ColimitFunctor
1 (Type/Class)	Data.Category.Limit
2 (Data Constructor)	Data.Category.Limit
Com
1 (Type/Class)	Data.Category.NaturalTransformation
2 (Data Constructor)	Data.Category.NaturalTransformation
CommaA	Data.Category.Comma
commaId	Data.Category.Comma
CommaO
1 (Type/Class)	Data.Category.Comma
2 (Data Constructor)	Data.Category.Comma
Comonad	Data.Category.Monoidal
ComonoidObject
1 (Type/Class)	Data.Category.Monoidal
2 (Data Constructor)	Data.Category.Monoidal
compAssoc	Data.Category.NaturalTransformation
compAssocInv	Data.Category.NaturalTransformation
Component	Data.Category.NaturalTransformation
composeAdj	Data.Category.Adjunction
comultiply	Data.Category.Monoidal
Cone	Data.Category.Limit
coneVertex	Data.Category.Limit
Const
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
ConstF	Data.Category.Functor
constPostcomp	Data.Category.NaturalTransformation
constPostcompInv	Data.Category.NaturalTransformation
constPrecomp	Data.Category.NaturalTransformation
constPrecompInv	Data.Category.NaturalTransformation
contAdj	Data.Category.Adjunction
Context	Data.Category.CartesianClosed
contextComonadDuplicate	Data.Category.CartesianClosed
contextComonadExtract	Data.Category.CartesianClosed
contravariantHomRepr	Data.Category.RepresentableFunctor
CoproductFunctor
1 (Type/Class)	Data.Category.Limit
2 (Data Constructor)	Data.Category.Limit
Cotuple1
1 (Type/Class)	Data.Category.Coproduct
2 (Data Constructor)	Data.Category.Coproduct
Cotuple2
1 (Type/Class)	Data.Category.Coproduct
2 (Data Constructor)	Data.Category.Coproduct
counit
1 (Function)	Data.Category.Adjunction
2 (Function)	Data.Category.Monoidal
covariantHomRepr	Data.Category.RepresentableFunctor
curry	Data.Category.CartesianClosed
curryAdj	Data.Category.CartesianClosed
Diag
1 (Type/Class)	Data.Category.Limit
2 (Data Constructor)	Data.Category.Limit
DiagF	Data.Category.Limit
DiagProd
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
Dialg	Data.Category.Dialg
DialgA	Data.Category.Dialg
Dialgebra
1 (Type/Class)	Data.Category.Dialg
2 (Data Constructor)	Data.Category.Dialg
dialgebra	Data.Category.Dialg
dialgId	Data.Category.Dialg
Dom	Data.Category.Functor
eilenbergMooreAdj	Data.Category.Dialg
Endo	Data.Category.NaturalTransformation
ExpFunctor
1 (Type/Class)	Data.Category.CartesianClosed
2 (Data Constructor)	Data.Category.CartesianClosed
Exponential	Data.Category.CartesianClosed
F2T	Data.Category.Boolean
falseCoproductComonoid	Data.Category.Boolean
falseCoproductMonoid	Data.Category.Boolean
falseProductComonoid	Data.Category.Boolean
Fin	Data.Category.Simplex
Fix
1 (Type/Class)	Data.Category.Fix
2 (Data Constructor)	Data.Category.Fix
Fls
1 (Data Constructor)	Data.Category.Boolean
2 (Type/Class)	Data.Category.Boolean
Forget
1 (Type/Class)	Data.Category.Simplex
2 (Data Constructor)	Data.Category.Simplex
ForgetAlg
1 (Type/Class)	Data.Category.Dialg
2 (Data Constructor)	Data.Category.Dialg
FreeAlg
1 (Type/Class)	Data.Category.Dialg
2 (Data Constructor)	Data.Category.Dialg
fromYoneda	Data.Category.Yoneda
Fs	Data.Category.Simplex
Functor	Data.Category.Functor
FunctorCompose
1 (Type/Class)	Data.Category.NaturalTransformation
2 (Data Constructor)	Data.Category.NaturalTransformation
Fz	Data.Category.Simplex
HasBinaryCoproducts	Data.Category.Limit
HasBinaryProducts	Data.Category.Limit
HasColimits	Data.Category.Limit
HasInitialObject	Data.Category.Limit
HasLimits	Data.Category.Limit
HasNaturalNumberObject	Data.Category.NNO
HasTerminalObject	Data.Category.Limit
Hom
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
homX_	Data.Category.Functor
hom_X	Data.Category.Functor
I1
1 (Data Constructor)	Data.Category.Coproduct
2 (Type/Class)	Data.Category.Coproduct
I12	Data.Category.Coproduct
I1A	Data.Category.Coproduct
I2
1 (Data Constructor)	Data.Category.Coproduct
2 (Type/Class)	Data.Category.Coproduct
I2A	Data.Category.Coproduct
Id
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
idAdj	Data.Category.Adjunction
idPostcomp	Data.Category.NaturalTransformation
idPostcompInv	Data.Category.NaturalTransformation
idPrecomp	Data.Category.NaturalTransformation
idPrecompInv	Data.Category.NaturalTransformation
InitialFAlgebra	Data.Category.Dialg
initialize	Data.Category.Limit
InitialObject	Data.Category.Limit
initialObject	Data.Category.Limit
initialPropAdjunction	Data.Category.Adjunction
InitialUniversal	Data.Category.RepresentableFunctor
initialUniversal	Data.Category.RepresentableFunctor
initialUniversalComma	Data.Category.Comma
Inj1
1 (Type/Class)	Data.Category.Coproduct
2 (Data Constructor)	Data.Category.Coproduct
inj1	Data.Category.Limit
Inj2
1 (Type/Class)	Data.Category.Coproduct
2 (Data Constructor)	Data.Category.Coproduct
inj2	Data.Category.Limit
Kleisli
1 (Type/Class)	Data.Category.Kleisli
2 (Data Constructor)	Data.Category.Kleisli
kleisliAdj	Data.Category.Kleisli
KleisliAdjF
1 (Type/Class)	Data.Category.Kleisli
2 (Data Constructor)	Data.Category.Kleisli
KleisliAdjG
1 (Type/Class)	Data.Category.Kleisli
2 (Data Constructor)	Data.Category.Kleisli
kleisliId	Data.Category.Kleisli
leftAdjoint	Data.Category.Adjunction
leftAdjunct	Data.Category.Adjunction
leftUnitor	Data.Category.Monoidal
leftUnitorInv	Data.Category.Monoidal
Limit	Data.Category.Limit
limit	Data.Category.Limit
limitAdj	Data.Category.Limit
limitFactorizer	Data.Category.Limit
LimitFam	Data.Category.Limit
LimitFunctor
1 (Type/Class)	Data.Category.Limit
2 (Data Constructor)	Data.Category.Limit
Magic
1 (Type/Class)	Data.Category.Void
2 (Data Constructor)	Data.Category.Void
magic	Data.Category.Void
mkAdjunction	Data.Category.Adjunction
mkComonad	Data.Category.Monoidal
mkMonad	Data.Category.Monoidal
Monad	Data.Category.Monoidal
monadFunctor	Data.Category.Monoidal
MonoidAsCategory	Data.Category.Monoidal
MonoidObject
1 (Type/Class)	Data.Category.Monoidal
2 (Data Constructor)	Data.Category.Monoidal
MonoidValue	Data.Category.Monoidal
multiply	Data.Category.Monoidal
Nat
1 (Type/Class)	Data.Category.NaturalTransformation
2 (Data Constructor)	Data.Category.NaturalTransformation
3 (Type/Class)	Data.Category.NNO
NatAsFunctor
1 (Type/Class)	Data.Category.Coproduct
2 (Data Constructor)	Data.Category.Coproduct
natId	Data.Category.NaturalTransformation
NatNum
1 (Type/Class)	Data.Category.Dialg
2 (Type/Class)	Data.Category.NNO
NaturalNumberObject	Data.Category.NNO
o	Data.Category.NaturalTransformation
Obj	Data.Category
ObjectsFOver	Data.Category.Comma
ObjectsFUnder	Data.Category.Comma
ObjectsOver	Data.Category.Comma
ObjectsUnder	Data.Category.Comma
Omega	Data.Category.Fix
Op
1 (Type/Class)	Data.Category
2 (Data Constructor)	Data.Category
OpOp
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
OpOpInv
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
Opposite
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
Postcompose
1 (Type/Class)	Data.Category.NaturalTransformation
2 (Data Constructor)	Data.Category.NaturalTransformation
Precompose
1 (Type/Class)	Data.Category.NaturalTransformation
2 (Data Constructor)	Data.Category.NaturalTransformation
Presheaves	Data.Category.Presheaf
PrimRec
1 (Type/Class)	Data.Category.NNO
2 (Data Constructor)	Data.Category.NNO
primRec
1 (Function)	Data.Category.Dialg
2 (Function)	Data.Category.NNO
ProductFunctor
1 (Type/Class)	Data.Category.Limit
2 (Data Constructor)	Data.Category.Limit
Proj1
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
proj1	Data.Category.Limit
Proj2
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
proj2	Data.Category.Limit
PShExponential	Data.Category.Presheaf
pshExponential	Data.Category.Presheaf
Replicate
1 (Type/Class)	Data.Category.Simplex
2 (Data Constructor)	Data.Category.Simplex
represent	Data.Category.RepresentableFunctor
Representable
1 (Type/Class)	Data.Category.RepresentableFunctor
2 (Data Constructor)	Data.Category.RepresentableFunctor
representedFunctor	Data.Category.RepresentableFunctor
representingObject	Data.Category.RepresentableFunctor
rightAdjoint	Data.Category.Adjunction
rightAdjunct	Data.Category.Adjunction
rightUnitor	Data.Category.Monoidal
rightUnitorInv	Data.Category.Monoidal
S
1 (Data Constructor)	Data.Category.Dialg
2 (Data Constructor)	Data.Category.NNO
3 (Type/Class)	Data.Category.Simplex
Simplex	Data.Category.Simplex
src	Data.Category
srcF	Data.Category.NaturalTransformation
State	Data.Category.CartesianClosed
stateMonadJoin	Data.Category.CartesianClosed
stateMonadReturn	Data.Category.CartesianClosed
suc	Data.Category.Simplex
succ	Data.Category.NNO
TensorProduct	Data.Category.Monoidal
TerminalFAlgebra	Data.Category.Dialg
TerminalObject	Data.Category.Limit
terminalObject	Data.Category.Limit
terminalPropAdjunction	Data.Category.Adjunction
TerminalUniversal	Data.Category.RepresentableFunctor
terminalUniversal	Data.Category.RepresentableFunctor
terminalUniversalComma	Data.Category.Comma
terminate	Data.Category.Limit
tgt	Data.Category
tgtF	Data.Category.NaturalTransformation
ToTuple1
1 (Type/Class)	Data.Category.CartesianClosed
2 (Data Constructor)	Data.Category.CartesianClosed
ToTuple2
1 (Type/Class)	Data.Category.CartesianClosed
2 (Data Constructor)	Data.Category.CartesianClosed
toYoneda	Data.Category.Yoneda
Tru
1 (Data Constructor)	Data.Category.Boolean
2 (Type/Class)	Data.Category.Boolean
trueCoproductMonoid	Data.Category.Boolean
trueProductComonoid	Data.Category.Boolean
trueProductMonoid	Data.Category.Boolean
tuple	Data.Category.CartesianClosed
Tuple1
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
Tuple2
1 (Type/Class)	Data.Category.Functor
2 (Data Constructor)	Data.Category.Functor
unCom	Data.Category.NaturalTransformation
uncurry	Data.Category.CartesianClosed
Unit
1 (Type/Class)	Data.Category.Unit
2 (Data Constructor)	Data.Category.Unit
3 (Type/Class)	Data.Category.Monoidal
unit
1 (Function)	Data.Category.Adjunction
2 (Function)	Data.Category.Monoidal
unitObject	Data.Category.Monoidal
universalElement	Data.Category.RepresentableFunctor
universalMonoid	Data.Category.Simplex
unOp	Data.Category
unrepresent	Data.Category.RepresentableFunctor
Void	Data.Category.Void
voidNat	Data.Category.Void
Wrap
1 (Type/Class)	Data.Category.NaturalTransformation
2 (Data Constructor)	Data.Category.NaturalTransformation
3 (Type/Class)	Data.Category.Fix
4 (Data Constructor)	Data.Category.Fix
X	Data.Category.Simplex
Y	Data.Category.Simplex
Yoneda
1 (Type/Class)	Data.Category.Yoneda
2 (Data Constructor)	Data.Category.Yoneda
YonedaEmbedding	Data.Category.Yoneda
yonedaEmbedding	Data.Category.Yoneda
Z
1 (Data Constructor)	Data.Category.Dialg
2 (Data Constructor)	Data.Category.NNO
3 (Data Constructor)	Data.Category.Simplex
4 (Type/Class)	Data.Category.Simplex
Zero	Data.Category.Limit
zero	Data.Category.NNO
^^^	Data.Category.CartesianClosed
\|\|\|	Data.Category.Limit