data-category-0.10: Category theory

Index - H

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