Index - L
| 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 |