Id | |
1 (Type/Class) | Data.Category.Functor |
2 (Data Constructor) | Data.Category.Functor |
id | Data.Category |
IdFls | Data.Category.Boolean |
IdFst | Data.Category.Pair |
IdSnd | Data.Category.Pair |
IdTru | Data.Category.Boolean |
IdZ | |
1 (Data Constructor) | Data.Category.Discrete |
2 (Data Constructor) | Data.Category.Omega |
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 |
inj | Data.Category.Limit |
iuObject | Data.Category.Functor |