data-category-0.3.0.1: Restricted categories

Index - I

Id 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
InFData.Category.Dialg
initialFactorizerData.Category.Functor
InitialFAlgebraData.Category.Dialg
initializeData.Category.Limit
initialMorphismData.Category.Functor
InitialObjectData.Category.Limit
initialObjectData.Category.Limit
initialPropAdjunctionData.Category.Adjunction
InitialUniversal 
1 (Type/Class)Data.Category.Functor
2 (Data Constructor)Data.Category.Functor
inj1Data.Category.Limit
inj2Data.Category.Limit
iuObjectData.Category.Functor