Id | |
1 (Type/Class) | Data.Category.Functor |
2 (Data Constructor) | Data.Category.Functor |
InF | Data.Category.Dialg |
initialFactorizer | Data.Category.Functor |
InitialFAlgebra | Data.Category.Dialg |
initialize | Data.Category.Limit |
initialMorphism | Data.Category.Functor |
InitialObject | Data.Category.Limit |
initialObject | Data.Category.Limit |
initialPropAdjunction | Data.Category.Adjunction |
InitialUniversal | |
1 (Type/Class) | Data.Category.Functor |
2 (Data Constructor) | Data.Category.Functor |
inj1 | Data.Category.Limit |
inj2 | Data.Category.Limit |
iuObject | Data.Category.Functor |