data-category-0.10: Category theory

Index

!Data.Category.NaturalTransformation
$Data.Category.Enriched
%Data.Category.Functor
%%Data.Category.Enriched
&&&Data.Category.Limit
***Data.Category.Limit
+++Data.Category.Limit
->>Data.Category.Enriched
.Data.Category
:%Data.Category.Functor
:%%Data.Category.Enriched
:***: 
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
:->>:Data.Category.Enriched
:.: 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
:/\:Data.Category.Comma
:<*>: 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
:<>: 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
:>>:Data.Category.Coproduct
:~>Data.Category.NaturalTransformation
ACubeData.Category.Cube
Add 
1 (Type/Class)Data.Category.Simplex
2 (Data Constructor)Data.Category.Simplex
3 (Type/Class)Data.Category.Cube
4 (Data Constructor)Data.Category.Cube
AdjArrow 
1 (Type/Class)Data.Category.Adjunction
2 (Data Constructor)Data.Category.Adjunction
adjColimitData.Category.Limit
adjColimitFactorizerData.Category.Limit
adjLimitData.Category.Limit
adjLimitFactorizerData.Category.Limit
Adjunction 
1 (Type/Class)Data.Category.Adjunction
2 (Data Constructor)Data.Category.Adjunction
adjunctionComonadData.Category.Monoidal
adjunctionComonadTData.Category.Monoidal
adjunctionCounitData.Category.Adjunction
adjunctionInitialPropData.Category.RepresentableFunctor
adjunctionMonadData.Category.Monoidal
adjunctionMonadTData.Category.Monoidal
adjunctionTerminalPropData.Category.RepresentableFunctor
adjunctionUnitData.Category.Adjunction
AlgData.Category.Dialg
AlgebraData.Category.Dialg
AnaData.Category.Dialg
Any 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
Apply 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
applyData.Category.CartesianClosed
ArrData.Category.Enriched
Arrow 
1 (Type/Class)Data.Category.Boolean
2 (Data Constructor)Data.Category.Boolean
ArrowsData.Category.Comma
associatorData.Category.Monoidal
associatorInvData.Category.Monoidal
BinaryCoproductData.Category.Limit
BinaryProductData.Category.Limit
BooleanData.Category.Boolean
CartesianClosedData.Category.CartesianClosed
CatData.Category.Functor
CatAData.Category.Functor
CataData.Category.Dialg
CategoryData.Category
CoalgData.Category.Dialg
CoalgebraData.Category.Dialg
CoconeData.Category.Limit
coconeVertexData.Category.Limit
CodData.Category.Functor
CodiagCoprod 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
CographData.Category.Coproduct
ColimData.Category.Enriched
ColimitData.Category.Limit
colimit 
1 (Function)Data.Category.Limit
2 (Function)Data.Category.Enriched
colimitAdjData.Category.Limit
colimitFactorizerData.Category.Limit
ColimitFamData.Category.Limit
ColimitFunctor 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
colimitInvData.Category.Enriched
colimitObjData.Category.Enriched
CommaAData.Category.Comma
commaIdData.Category.Comma
CommaO 
1 (Type/Class)Data.Category.Comma
2 (Data Constructor)Data.Category.Comma
ComonadData.Category.Monoidal
ComonoidObject 
1 (Type/Class)Data.Category.Monoidal
2 (Data Constructor)Data.Category.Monoidal
compData.Category.Enriched
compArrData.Category.Enriched
compAssocData.Category.NaturalTransformation
compAssocInvData.Category.NaturalTransformation
ComponentData.Category.NaturalTransformation
composeAdjData.Category.Adjunction
comultiplyData.Category.Monoidal
ConeData.Category.Limit
coneVertexData.Category.Limit
ConsData.Category.Cube
Const 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
ConstFData.Category.Functor
constPostcompInData.Category.NaturalTransformation
constPostcompOutData.Category.NaturalTransformation
constPrecompInData.Category.NaturalTransformation
constPrecompOutData.Category.NaturalTransformation
contAdjData.Category.Adjunction
ContextData.Category.CartesianClosed
contextComonadDuplicateData.Category.CartesianClosed
contextComonadExtractData.Category.CartesianClosed
contravariantHomReprData.Category.RepresentableFunctor
coprodAdjData.Category.Limit
CoproductFunctor 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
coproductMonoidData.Category.Monoidal
Costar 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)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
counitData.Category.Monoidal
covariantHomReprData.Category.RepresentableFunctor
CubeData.Category.Cube
curryData.Category.CartesianClosed
curryAdjData.Category.CartesianClosed
DCData.Category.Coproduct
Diag 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
DiagFData.Category.Limit
DiagProd 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
DialgData.Category.Dialg
DialgAData.Category.Dialg
Dialgebra 
1 (Type/Class)Data.Category.Dialg
2 (Data Constructor)Data.Category.Dialg
dialgebraData.Category.Dialg
dialgIdData.Category.Dialg
DomData.Category.Functor
ECategoryData.Category.Enriched
ECodData.Category.Enriched
EDomData.Category.Enriched
EFunctorData.Category.Enriched
EFunctorOfData.Category.Enriched
EHom 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
EHomX_ 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
EHom_X 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
eilenbergMooreAdjData.Category.Dialg
ENat 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
EndData.Category.Enriched
endData.Category.Enriched
endCounitData.Category.Enriched
endFactorizerData.Category.Enriched
EndFunctor 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
EndoData.Category.NaturalTransformation
EndoFunctorComposeData.Category.NaturalTransformation
EOp 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
ExpFunctor 
1 (Type/Class)Data.Category.CartesianClosed
2 (Data Constructor)Data.Category.CartesianClosed
ExponentialData.Category.CartesianClosed
F2TData.Category.Boolean
falseCoproductComonoidData.Category.Boolean
falseCoproductMonoidData.Category.Boolean
falseProductComonoidData.Category.Boolean
FArrData.Category.Enriched
FinData.Category.Simplex
Fix 
1 (Type/Class)Data.Category.Fix
2 (Data Constructor)Data.Category.Fix
flipData.Category.CartesianClosed
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
3 (Type/Class)Data.Category.Cube
4 (Data Constructor)Data.Category.Cube
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
freeAlgData.Category.Dialg
fromSelfData.Category.Enriched
fromYonedaData.Category.Yoneda
FsData.Category.Simplex
FunCatData.Category.Enriched
FunctorData.Category.Functor
FunctorCompose 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
FunctorOfData.Category.Functor
FzData.Category.Simplex
getHaskEndData.Category.Enriched
getSelfData.Category.Enriched
HasBinaryCoproductsData.Category.Limit
HasBinaryProductsData.Category.Limit
HasColimits 
1 (Type/Class)Data.Category.Limit
2 (Type/Class)Data.Category.Enriched
HasEndsData.Category.Enriched
HasInitialObjectData.Category.Limit
HaskEnd 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
haskIsTotalData.Category.Yoneda
haskUnitData.Category.Yoneda
HasLeftKanData.Category.KanExtension
HasLimits 
1 (Type/Class)Data.Category.Limit
2 (Type/Class)Data.Category.Enriched
HasNaturalNumberObjectData.Category.NNO
HasRightKanData.Category.KanExtension
HasTerminalObjectData.Category.Limit
Hom 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
homData.Category.Enriched
HomF 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
HomX_Data.Category.Functor
Hom_XData.Category.Functor
I1 
1 (Data Constructor)Data.Category.Coproduct
2 (Type/Class)Data.Category.Coproduct
I12Data.Category.Coproduct
I1AData.Category.Coproduct
I2 
1 (Data Constructor)Data.Category.Coproduct
2 (Type/Class)Data.Category.Coproduct
I2AData.Category.Coproduct
Id 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
idData.Category.Enriched
idAdjData.Category.Adjunction
idComonadData.Category.Monoidal
idMonadData.Category.Monoidal
idPostcompData.Category.NaturalTransformation
idPostcompInvData.Category.NaturalTransformation
idPrecompData.Category.NaturalTransformation
idPrecompInvData.Category.NaturalTransformation
InHask 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
InitialFAlgebraData.Category.Dialg
initializeData.Category.Limit
Initializer 
1 (Type/Class)Data.Category.Boolean
2 (Data Constructor)Data.Category.Boolean
initializerColimitAdjData.Category.Boolean
InitialObjectData.Category.Limit
initialObjectData.Category.Limit
initialPropAdjunctionData.Category.RepresentableFunctor
InitialUniversalData.Category.RepresentableFunctor
initialUniversalData.Category.RepresentableFunctor
initialUniversalCommaData.Category.Comma
Inj1 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
inj1Data.Category.Limit
Inj2 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
inj2Data.Category.Limit
KindData.Category
Kleisli 
1 (Type/Class)Data.Category.Kleisli
2 (Data Constructor)Data.Category.Kleisli
kleisliAdjData.Category.Kleisli
KleisliForget 
1 (Type/Class)Data.Category.Kleisli
2 (Data Constructor)Data.Category.Kleisli
KleisliFree 
1 (Type/Class)Data.Category.Kleisli
2 (Data Constructor)Data.Category.Kleisli
kleisliIdData.Category.Kleisli
LanData.Category.KanExtension
lanData.Category.KanExtension
lanAdjData.Category.KanExtension
lanFData.Category.KanExtension
lanF'Data.Category.KanExtension
lanFactorizerData.Category.KanExtension
LanFamData.Category.KanExtension
LanFunctor 
1 (Type/Class)Data.Category.KanExtension
2 (Data Constructor)Data.Category.KanExtension
LanHask 
1 (Type/Class)Data.Category.KanExtension
2 (Data Constructor)Data.Category.KanExtension
LanHaskF 
1 (Type/Class)Data.Category.KanExtension
2 (Data Constructor)Data.Category.KanExtension
leftAdjointData.Category.Adjunction
leftAdjointPreservesColimitsData.Category.Limit
leftAdjointPreservesColimitsInvData.Category.Limit
leftAdjunctData.Category.Adjunction
leftAdjunctNData.Category.Adjunction
leftUnitorData.Category.Monoidal
leftUnitorInvData.Category.Monoidal
LimData.Category.Enriched
LimitData.Category.Limit
limit 
1 (Function)Data.Category.Limit
2 (Function)Data.Category.Enriched
limitAdjData.Category.Limit
limitFactorizerData.Category.Limit
LimitFamData.Category.Limit
LimitFunctor 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
limitInvData.Category.Enriched
limitObjData.Category.Enriched
MData.Category.Cube
M1 
1 (Type/Class)Data.Category.Yoneda
2 (Data Constructor)Data.Category.Yoneda
Magic 
1 (Type/Class)Data.Category.Void
2 (Data Constructor)Data.Category.Void
magicData.Category.Void
mapData.Category.Enriched
mkAdjunctionData.Category.Adjunction
mkAdjunctionInitData.Category.Adjunction
mkAdjunctionTermData.Category.Adjunction
mkAdjunctionUnitsData.Category.Adjunction
mkComonadData.Category.Monoidal
mkMonadData.Category.Monoidal
MonadData.Category.Monoidal
monadFunctorData.Category.Monoidal
MonoidAsCategoryData.Category.Monoidal
MonoidObject 
1 (Type/Class)Data.Category.Monoidal
2 (Data Constructor)Data.Category.Monoidal
MonoidValueData.Category.Monoidal
multiplyData.Category.Monoidal
Nat 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
NatAsFunctor 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
natIdData.Category.NaturalTransformation
NatNum 
1 (Type/Class)Data.Category.Dialg
2 (Type/Class)Data.Category.NNO
NaturalNumberObjectData.Category.NNO
NilData.Category.Cube
oData.Category.NaturalTransformation
ObjData.Category
ObjectsFOverData.Category.Comma
ObjectsFUnderData.Category.Comma
ObjectsOverData.Category.Comma
ObjectsUnderData.Category.Comma
OmegaData.Category.Fix
One 
1 (Data Constructor)Data.Category.Enriched
2 (Type/Class)Data.Category.Enriched
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
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
PData.Category.Cube
Poset3Data.Category.Enriched
PosetTestData.Category.Enriched
Postcompose 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
postcomposeAdjData.Category.Adjunction
Precompose 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
precomposeAdjData.Category.Adjunction
PresheavesData.Category.NaturalTransformation
primRec 
1 (Function)Data.Category.Dialg
2 (Function)Data.Category.NNO
prodAdjData.Category.Limit
productComonoidData.Category.Monoidal
ProductFunctor 
1 (Type/Class)Data.Category.Limit
2 (Data Constructor)Data.Category.Limit
ProfunctorsData.Category.NaturalTransformation
Proj1 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
proj1Data.Category.Limit
Proj2 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
proj2Data.Category.Limit
PShExponentialData.Category.CartesianClosed
PshExponentialData.Category.CartesianClosed
RanData.Category.KanExtension
ranData.Category.KanExtension
ranAdjData.Category.KanExtension
ranFData.Category.KanExtension
ranF'Data.Category.KanExtension
ranFactorizerData.Category.KanExtension
RanFamData.Category.KanExtension
RanFunctor 
1 (Type/Class)Data.Category.KanExtension
2 (Data Constructor)Data.Category.KanExtension
RanHask 
1 (Type/Class)Data.Category.KanExtension
2 (Data Constructor)Data.Category.KanExtension
RanHaskF 
1 (Type/Class)Data.Category.KanExtension
2 (Data Constructor)Data.Category.KanExtension
Replicate 
1 (Type/Class)Data.Category.Simplex
2 (Data Constructor)Data.Category.Simplex
representData.Category.RepresentableFunctor
Representable 
1 (Type/Class)Data.Category.RepresentableFunctor
2 (Data Constructor)Data.Category.RepresentableFunctor
representedFunctorData.Category.RepresentableFunctor
representingObjectData.Category.RepresentableFunctor
rightAdjointData.Category.Adjunction
rightAdjointPreservesLimitsData.Category.Limit
rightAdjointPreservesLimitsInvData.Category.Limit
rightAdjunctData.Category.Adjunction
rightAdjunctNData.Category.Adjunction
rightUnitorData.Category.Monoidal
rightUnitorInvData.Category.Monoidal
S 
1 (Type/Class)Data.Category.Simplex
2 (Data Constructor)Data.Category.Dialg
3 (Data Constructor)Data.Category.Cube
4 (Type/Class)Data.Category.Cube
5 (Type/Class)Data.Category.Fix
6 (Data Constructor)Data.Category.Fix
7 (Data Constructor)Data.Category.NNO
S0Data.Category.Cube
Self 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
SignData.Category.Cube
Sign0Data.Category.Cube
SimplexData.Category.Simplex
SMData.Category.Cube
SPData.Category.Cube
srcData.Category
srcFData.Category.NaturalTransformation
SrcFunctorData.Category.Boolean
Star 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
StateData.Category.CartesianClosed
stateMonadJoinData.Category.CartesianClosed
stateMonadReturnData.Category.CartesianClosed
sucData.Category.Simplex
succData.Category.NNO
Swap 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
swapData.Category.Monoidal
SymmetricTensorProductData.Category.Monoidal
TensorProductData.Category.Monoidal
TerminalFAlgebraData.Category.Dialg
TerminalObjectData.Category.Limit
terminalObjectData.Category.Limit
terminalPropAdjunctionData.Category.RepresentableFunctor
TerminalUniversalData.Category.RepresentableFunctor
terminalUniversalData.Category.RepresentableFunctor
terminalUniversalCommaData.Category.Comma
terminateData.Category.Limit
Terminator 
1 (Type/Class)Data.Category.Boolean
2 (Data Constructor)Data.Category.Boolean
terminatorLimitAdjData.Category.Boolean
tgtData.Category
tgtFData.Category.NaturalTransformation
TgtFunctorData.Category.Boolean
Three 
1 (Data Constructor)Data.Category.Enriched
2 (Type/Class)Data.Category.Enriched
toSelfData.Category.Enriched
toYonedaData.Category.Yoneda
trivialComonoidData.Category.Monoidal
trivialMonoidData.Category.Monoidal
Tru 
1 (Data Constructor)Data.Category.Boolean
2 (Type/Class)Data.Category.Boolean
trueCoproductMonoidData.Category.Boolean
trueProductComonoidData.Category.Boolean
trueProductMonoidData.Category.Boolean
Tuple 
1 (Type/Class)Data.Category.NaturalTransformation
2 (Data Constructor)Data.Category.NaturalTransformation
tupleData.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
Two 
1 (Data Constructor)Data.Category.Enriched
2 (Type/Class)Data.Category.Enriched
uncurryData.Category.CartesianClosed
Underlying 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
UnderlyingF 
1 (Type/Class)Data.Category.Enriched
2 (Data Constructor)Data.Category.Enriched
Unit 
1 (Type/Class)Data.Category.Unit
2 (Data Constructor)Data.Category.Unit
3 (Type/Class)Data.Category.Monoidal
unitData.Category.Monoidal
unitObjectData.Category.Monoidal
universalElementData.Category.RepresentableFunctor
universalMonoidData.Category.Simplex
unOpData.Category
unrepresentData.Category.RepresentableFunctor
Unwrap 
1 (Type/Class)Data.Category.Fix
2 (Data Constructor)Data.Category.Fix
VData.Category.Enriched
VoidData.Category.Void
voidNatData.Category.Void
VProfunctorData.Category.Enriched
WeigtedColimitData.Category.Enriched
WeigtedLimitData.Category.Enriched
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
WrapTensorData.Category.Fix
X 
1 (Data Constructor)Data.Category.Simplex
2 (Data Constructor)Data.Category.Cube
Y 
1 (Data Constructor)Data.Category.Simplex
2 (Data Constructor)Data.Category.Cube
3 (Type/Class)Data.Category.Enriched
4 (Data Constructor)Data.Category.Enriched
Yoneda 
1 (Type/Class)Data.Category.Yoneda
2 (Data Constructor)Data.Category.Yoneda
yonedaData.Category.Enriched
YonedaEmbedding 
1 (Type/Class)Data.Category.Yoneda
2 (Data Constructor)Data.Category.Yoneda
yonedaInvData.Category.Enriched
Z 
1 (Data Constructor)Data.Category.Simplex
2 (Type/Class)Data.Category.Simplex
3 (Data Constructor)Data.Category.Dialg
4 (Data Constructor)Data.Category.Cube
5 (Type/Class)Data.Category.Cube
6 (Type/Class)Data.Category.Fix
7 (Data Constructor)Data.Category.Fix
8 (Data Constructor)Data.Category.NNO
z2sData.Category.Fix
ZeroData.Category.Limit
zeroData.Category.NNO
^^^Data.Category.CartesianClosed
|||Data.Category.Limit