Index - L
| law | CompositionGraph.CompositionGraph |
| lawS | CompositionGraph.SafeCompositionGraph |
| leftAdjoint | Adjunction.Adjunction |
| LeftCone | |
| 1 (Type/Class) | ConeCategory.LeftCone |
| 2 (Data Constructor) | ConeCategory.LeftCone |
| leftDiag | CommaCategory.CommaCategory |
| limitFunctor | Limit.Limit |
| limits | ConeCategory.ConeCategory |