proarrow-0: Category theory with a central role for profunctors

Index - L

L 
1 (Type/Class)Proarrow.Category.Instance.List
2 (Type/Class)Proarrow.Category.Instance.Collage, Proarrow.Category.Instance.Coproduct
3 (Type/Class)Proarrow.Category.Instance.Linear
L2RProarrow.Category.Instance.Collage
lamProarrow.Helper.CCC
Lan 
1 (Type/Class)Proarrow.Category.Bicategory.Kan
2 (Data Constructor)Proarrow.Category.Instance.Nat
lanProarrow.Category.Bicategory.Kan
lanAlongCompanionProarrow.Category.Bicategory.Kan
lanAlongCompanionInvProarrow.Category.Bicategory.Kan
lanComonadDeltaProarrow.Category.Bicategory.Kan
lanComonadEpsilonProarrow.Category.Bicategory.Kan
lanUnivProarrow.Category.Bicategory.Kan
laxCompProarrow.Category.Bicategory.Prof
laxIdProarrow.Category.Bicategory.Prof
LaxProfunctorProarrow.Category.Bicategory.Prof
LCatProarrow.Category.Monoidal.Optic
left 
1 (Function)Proarrow.Object.BinaryCoproduct
2 (Function)Proarrow.Helper.CCC
left'Proarrow.Object.BinaryCoproduct
leftActionProarrow.Category.Bicategory
leftAdjointPreservesColimitsProarrow.Category.Colimit
leftAdjointPreservesColimitsInvProarrow.Category.Colimit
leftAdjunct 
1 (Function)Proarrow.Category.Bicategory
2 (Function)Proarrow.Adjunction, Proarrow
LeftKanExtensionProarrow.Category.Bicategory.Kan
LeftKanLiftProarrow.Category.Bicategory.Kan
leftUnitor 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Category.Bicategory
leftUnitor' 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Category.Bicategory
leftUnitorInv 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Category.Bicategory
leftUnitorInv' 
1 (Function)Proarrow.Category.Monoidal
2 (Function)Proarrow.Category.Bicategory
leftUnitorInvWithProarrow.Category.Bicategory
leftUnitorProdProarrow.Object.BinaryProduct
leftUnitorProdInvProarrow.Object.BinaryProduct
leftUnitorWithProarrow.Category.Bicategory
LensProarrow.Category.Monoidal.Optic
lftProarrow.Object.BinaryCoproduct
lft'Proarrow.Object.BinaryCoproduct
Lift 
1 (Type/Class)Proarrow.Category.Bicategory.Kan
2 (Type/Class)Proarrow.Profunctor.Free
lift 
1 (Function)Proarrow.Category.Bicategory.Kan
2 (Function)Proarrow.Helper.CCC
3 (Function)Proarrow.Profunctor.Free
lift'Proarrow.Profunctor.Free
LiftA2Proarrow.Profunctor.Free
liftA2Proarrow.Category.Monoidal.Applicative
liftAlongConjointProarrow.Category.Bicategory.Kan
liftAlongConjointInvProarrow.Category.Bicategory.Kan
liftComonadDeltaProarrow.Category.Bicategory.Kan
liftComonadEpsilonProarrow.Category.Bicategory.Kan
liftKProarrow.Profunctor.Free
liftUnivProarrow.Category.Bicategory.Kan
Limit 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Category.Limit
limit 
1 (Function)Proarrow.Category.Equipment.Limit
2 (Function)Proarrow.Category.Limit
3 (Function)Proarrow.Squares.Limit
limitObjProarrow.Category.Equipment.Limit
limitUniv 
1 (Function)Proarrow.Category.Equipment.Limit
2 (Function)Proarrow.Category.Limit
3 (Function)Proarrow.Squares.Limit
LINEARProarrow.Category.Instance.Linear
Linear 
1 (Type/Class)Proarrow.Category.Instance.Linear
2 (Data Constructor)Proarrow.Category.Instance.Linear
LISTProarrow.Category.Instance.List
ListProarrow.Category.Instance.List
ListFProarrow.Profunctor.Fix
listIdProarrow.Category.Instance.List
lmapProarrow.Core, Proarrow.Profunctor, Proarrow
lower 
1 (Function)Proarrow.Object.Exponential
2 (Function)Proarrow.Profunctor.Cofree
lower'Proarrow.Profunctor.Cofree
lrIdProarrow.Category.Instance.Collage
LTProarrow.Category.Instance.Simplex
LTEProarrow.Category.Instance.Fin
lteProarrow.Category.Instance.Fin