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