Contents
Index
data-category-0.5.1.0: Category theory
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