leftAdjunct | Data.Category.Adjunction |
Limit | Data.Category.Limit |
limit | Data.Category.Limit |
limitAdj | Data.Category.Adjunction |
limitFactorizer | Data.Category.Limit |
LimitFam | Data.Category.Limit |
LimitFunctor | |
1 (Type/Class) | Data.Category.Limit |
2 (Data Constructor) | Data.Category.Limit |
limitUniv | Data.Category.Limit |
LimitUniversal | Data.Category.Limit |
limitUniversal | Data.Category.Limit |