data-category-0.4.1: Category theory

Index - I

I1 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
I2 
1 (Type/Class)Data.Category.Coproduct
2 (Data Constructor)Data.Category.Coproduct
Id 
1 (Data Constructor)Data.Category.Functor
2 (Type/Class)Data.Category.Functor
idPostcompData.Category.NaturalTransformation
idPostcompInvData.Category.NaturalTransformation
idPrecompData.Category.NaturalTransformation
idPrecompInvData.Category.NaturalTransformation
InFData.Category.Dialg
InitialFAlgebraData.Category.Dialg
initializeData.Category.Limit
InitialObjectData.Category.Limit
initialObjectData.Category.Limit
initialPropAdjunctionData.Category.Adjunction
InitialUniversalData.Category.RepresentableFunctor
initialUniversalData.Category.RepresentableFunctor
Inj1 
1 (Data Constructor)Data.Category.Coproduct
2 (Type/Class)Data.Category.Coproduct
inj1Data.Category.Limit
Inj2 
1 (Data Constructor)Data.Category.Coproduct
2 (Type/Class)Data.Category.Coproduct
inj2Data.Category.Limit