data-category-0.5.1: Category theory

Index - I

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
idAdjData.Category.Adjunction
idPostcompData.Category.NaturalTransformation
idPostcompInvData.Category.NaturalTransformation
idPrecompData.Category.NaturalTransformation
idPrecompInvData.Category.NaturalTransformation
InitialFAlgebraData.Category.Dialg
initializeData.Category.Limit
InitialObjectData.Category.Limit
initialObjectData.Category.Limit
initialPropAdjunctionData.Category.Adjunction
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