Index - L
| leftAdjoint | Data.Category.Adjunction |
| leftAdjointPreservesColimits | Data.Category.Limit |
| leftAdjointPreservesColimitsInv | Data.Category.Limit |
| leftAdjunct | Data.Category.Adjunction |
| leftAdjunctN | Data.Category.Adjunction |
| leftUnitor | Data.Category.Monoidal |
| leftUnitorInv | Data.Category.Monoidal |
| Lim | Data.Category.Enriched |
| Limit | Data.Category.Limit |
| limit | |
| 1 (Function) | Data.Category.Limit |
| 2 (Function) | Data.Category.Enriched |
| 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 |
| limitInv | Data.Category.Enriched |
| limitObj | Data.Category.Enriched |