Contents
Index
data-category-0.7: 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
ACube
Data.Category.Cube
Add
1 (Type/Class)
Data.Category.Cube
2 (Data Constructor)
Data.Category.Cube
3 (Type/Class)
Data.Category.Simplex
4 (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
adjunctionComonadT
Data.Category.Monoidal
adjunctionCounit
Data.Category.Adjunction
adjunctionInitialProp
Data.Category.Adjunction
adjunctionMonad
Data.Category.Monoidal
adjunctionMonadT
Data.Category.Monoidal
adjunctionTerminalProp
Data.Category.Adjunction
adjunctionUnit
Data.Category.Adjunction
Alg
Data.Category.Dialg
Algebra
Data.Category.Dialg
Ana
Data.Category.Dialg
Apply
1 (Type/Class)
Data.Category.NaturalTransformation
2 (Data Constructor)
Data.Category.NaturalTransformation
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
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
Cons
Data.Category.Cube
Const
1 (Type/Class)
Data.Category.Functor
2 (Data Constructor)
Data.Category.Functor
ConstF
Data.Category.Functor
constPostcompIn
Data.Category.NaturalTransformation
constPostcompOut
Data.Category.NaturalTransformation
constPrecompIn
Data.Category.NaturalTransformation
constPrecompOut
Data.Category.NaturalTransformation
contAdj
Data.Category.Adjunction
Context
Data.Category.CartesianClosed
contextComonadDuplicate
Data.Category.CartesianClosed
contextComonadExtract
Data.Category.CartesianClosed
contravariantHomRepr
Data.Category.RepresentableFunctor
coprodAdj
Data.Category.Limit
CoproductFunctor
1 (Type/Class)
Data.Category.Limit
2 (Data Constructor)
Data.Category.Limit
coproductMonoid
Data.Category.Monoidal
Costar
Data.Category.Functor
costar
Data.Category.Functor
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
Data.Category.Monoidal
covariantHomRepr
Data.Category.RepresentableFunctor
Cube
Data.Category.Cube
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
EndoFunctorCompose
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.Cube
2 (Data Constructor)
Data.Category.Cube
3 (Type/Class)
Data.Category.Simplex
4 (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
HomF
Data.Category.Functor
homF
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
idComonad
Data.Category.Monoidal
idMonad
Data.Category.Monoidal
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
leftAdjointPreservesColimits
Data.Category.Limit
leftAdjointPreservesColimitsInv
Data.Category.Limit
leftAdjunct
Data.Category.Adjunction
leftAdjunctN
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
M
Data.Category.Cube
Magic
1 (Type/Class)
Data.Category.Void
2 (Data Constructor)
Data.Category.Void
magic
Data.Category.Void
mkAdjunction
Data.Category.Adjunction
mkAdjunctionUnits
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
Nil
Data.Category.Cube
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
P
Data.Category.Cube
Postcompose
Data.Category.NaturalTransformation
postcompose
Data.Category.NaturalTransformation
postcomposeAdj
Data.Category.Adjunction
Precompose
Data.Category.NaturalTransformation
precompose
Data.Category.NaturalTransformation
precomposeAdj
Data.Category.Adjunction
Presheaves
Data.Category.NaturalTransformation
PrimRec
1 (Type/Class)
Data.Category.NNO
2 (Data Constructor)
Data.Category.NNO
primRec
1 (Function)
Data.Category.Dialg
2 (Function)
Data.Category.NNO
prodAdj
Data.Category.Limit
productComonoid
Data.Category.Monoidal
ProductFunctor
1 (Type/Class)
Data.Category.Limit
2 (Data Constructor)
Data.Category.Limit
Profunctors
Data.Category.NaturalTransformation
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.CartesianClosed
pshExponential
Data.Category.CartesianClosed
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
rightAdjointPreservesLimits
Data.Category.Limit
rightAdjointPreservesLimitsInv
Data.Category.Limit
rightAdjunct
Data.Category.Adjunction
rightAdjunctN
Data.Category.Adjunction
rightUnitor
Data.Category.Monoidal
rightUnitorInv
Data.Category.Monoidal
S
1 (Data Constructor)
Data.Category.Cube
2 (Type/Class)
Data.Category.Cube
3 (Data Constructor)
Data.Category.Dialg
4 (Type/Class)
Data.Category.Simplex
5 (Data Constructor)
Data.Category.NNO
S0
Data.Category.Cube
Sign
Data.Category.Cube
Sign0
Data.Category.Cube
Simplex
Data.Category.Simplex
SM
Data.Category.Cube
SP
Data.Category.Cube
src
Data.Category
srcF
Data.Category.NaturalTransformation
Star
Data.Category.Functor
star
Data.Category.Functor
State
Data.Category.CartesianClosed
stateMonadJoin
Data.Category.CartesianClosed
stateMonadReturn
Data.Category.CartesianClosed
suc
Data.Category.Simplex
succ
Data.Category.NNO
Swap
Data.Category.Functor
swap
Data.Category.Functor
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
toYoneda
Data.Category.Yoneda
trivialComonoid
Data.Category.Monoidal
trivialMonoid
Data.Category.Monoidal
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
1 (Type/Class)
Data.Category.NaturalTransformation
2 (Data Constructor)
Data.Category.NaturalTransformation
tuple
Data.Category.CartesianClosed
Tuple1
Data.Category.Functor
tuple1
Data.Category.Functor
Tuple2
Data.Category.Functor
tuple2
Data.Category.Functor
uncurry
Data.Category.CartesianClosed
Unit
1 (Type/Class)
Data.Category.Unit
2 (Data Constructor)
Data.Category.Unit
3 (Type/Class)
Data.Category.Monoidal
unit
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
1 (Data Constructor)
Data.Category.Cube
2 (Data Constructor)
Data.Category.Simplex
Y
1 (Data Constructor)
Data.Category.Cube
2 (Data Constructor)
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.Cube
2 (Type/Class)
Data.Category.Cube
3 (Data Constructor)
Data.Category.Dialg
4 (Data Constructor)
Data.Category.Simplex
5 (Type/Class)
Data.Category.Simplex
6 (Data Constructor)
Data.Category.NNO
Zero
Data.Category.Limit
zero
Data.Category.NNO
^^^
Data.Category.CartesianClosed
|||
Data.Category.Limit