leftAdjoint | Data.Category.Adjunction |
leftAdjunct | Data.Category.Adjunction |
leftUnitor | Data.Category.Monoidal |
leftUnitorInv | Data.Category.Monoidal |
Limit | Data.Category.Limit |
limit | Data.Category.Limit |
limitAdj | Data.Category.Limit |
limitFactorizer | Data.Category.Limit |
LimitFam | Data.Category.Limit |
LimitFunctor | |
1 (Type/Class) | Data.Category.Limit |
2 (Data Constructor) | Data.Category.Limit |