Index - L
| labelArrow | Math.Categories.FinGrph, Math.Categories, Math.FiniteCategories.All |
| Lantern | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| law | Math.FiniteCategories.CompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| lawS | Math.FiniteCategories.SafeCompositionGraph, Math.FiniteCategories, Math.FiniteCategories.All |
| leftAdjoint | Math.Functors.Adjunction, Math.Functors, Math.FiniteCategories.All |
| leftDiagram | Math.Categories.CommaCategory, Math.FiniteCategories.CommaCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| leftKan | Math.Functors.KanExtension, Math.Functors, Math.FiniteCategories.All |
| leftKanSetValued | Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All |
| leftWhiskering | Math.Categories.FunctorCategory, Math.FiniteCategories.FunctorCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| legsCocone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| legsCone | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |
| LightConstruction | Math.Categories.FinSketch, Math.Categories, Math.FiniteCategories.All |
| Limit | Math.CompleteCategory, Math.FiniteCategories.All |
| limit | Math.CompleteCategory, Math.FiniteCategories.All |
| LimitCategory | |
| 1 (Type/Class) | Math.FiniteCategories.LimitCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| 2 (Data Constructor) | Math.FiniteCategories.LimitCategory, Math.FiniteCategories, Math.FiniteCategories.All |
| limitFromProductsAndEqualizers | Math.CompleteCategory, Math.FiniteCategories.All |
| LimitObject | Math.Functors.SetValued, Math.Functors, Math.FiniteCategories.All |
| limits | Math.Categories.ConeCategory, Math.FiniteCategories.ConeCategory, Math.FiniteCategories, Math.Categories, Math.FiniteCategories.All |