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

Index - I

I 
1 (Type/Class)Proarrow.Category.Bicategory
2 (Data Constructor)Proarrow.Category.Instance.IntConstruction
Id 
1 (Data Constructor)Proarrow.Category.Bicategory.CategoryAsBi
2 (Type/Class)Proarrow.Profunctor.Identity
3 (Data Constructor)Proarrow.Profunctor.Identity
idProarrow.Core, Proarrow.Promonad
idLanProarrow.Category.Bicategory.Kan
idLiftProarrow.Category.Bicategory.Kan
idRanProarrow.Category.Bicategory.Kan
idRiftProarrow.Category.Bicategory.Kan
InProarrow.Profunctor.Fix
indexProarrow.Profunctor.Representable
InitFProarrow.Helper.CCC
InitialLimit 
1 (Type/Class)Proarrow.Category.Colimit
2 (Data Constructor)Proarrow.Category.Colimit
InitialObject 
1 (Type/Class)Proarrow.Object.Initial
2 (Type/Class)Proarrow.Category.Equipment.Limit
InitialProfunctorProarrow.Profunctor.Initial
Initiate 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Category.Instance.Cat
3 (Data Constructor)Proarrow.Category.Instance.Cat
initiate 
1 (Function)Proarrow.Object.Initial
2 (Function)Proarrow.Category.Equipment.Limit
initiate'Proarrow.Object.Initial
initUnivProarrow.Category.Equipment.Limit
InjL 
1 (Data Constructor)Proarrow.Profunctor.Coproduct
2 (Type/Class)Proarrow.Category.Instance.Collage
3 (Data Constructor)Proarrow.Category.Instance.Collage
4 (Data Constructor)Proarrow.Category.Instance.Coproduct
InjLPProarrow.Category.Instance.Cat
InjR 
1 (Data Constructor)Proarrow.Profunctor.Coproduct
2 (Type/Class)Proarrow.Category.Instance.Collage
3 (Data Constructor)Proarrow.Category.Instance.Collage
4 (Data Constructor)Proarrow.Category.Instance.Coproduct
InjRPProarrow.Category.Instance.Cat
InLProarrow.Category.Instance.Collage
InRProarrow.Category.Instance.Collage
INTProarrow.Category.Instance.IntConstruction
IntProarrow.Category.Instance.IntConstruction
IntConstructionProarrow.Category.Instance.IntConstruction
IntMinusProarrow.Category.Instance.IntConstruction
IntPlusProarrow.Category.Instance.IntConstruction
introIProarrow.Category.Bicategory.Strictified
introOProarrow.Category.Bicategory.Strictified
iObjProarrow.Category.Bicategory
IsProarrow.Core
IsBoolProarrow.Category.Instance.Bool
IsBoolArrProarrow.Category.Instance.Bool
IsChartProarrow.Category.Monoidal.Optic
isCotabulatorProarrow.Category.Bicategory.Prof
IsFinProarrow.Category.Instance.Fin
IsFunctorialProarrow.Category.Bicategory.Prof
IsList 
1 (Type/Class)Proarrow.Category.Monoidal.Strictified
2 (Type/Class)Proarrow.Category.Instance.List
IsLR 
1 (Type/Class)Proarrow.Category.Instance.Collage
2 (Type/Class)Proarrow.Category.Instance.Coproduct
IsLTEProarrow.Category.Instance.Fin
IsNat 
1 (Type/Class)Proarrow.Category.Instance.Simplex
2 (Type/Class)Proarrow.Category.Instance.Mat
IsObProarrow.Category.Bicategory.Sub
IsObIProarrow.Category.Bicategory.Sub
IsObMultProarrow.Category.Instance.Sub
IsObOProarrow.Category.Bicategory.Sub
isObParProarrow.Category.Monoidal
IsOpticProarrow.Category.Monoidal.Optic
isoToIntProarrow.Category.Instance.IntConstruction
IsPathProarrow.Category.Bicategory.Strictified
IsPosetOfProarrow.Preorder
IsRepresentableColimitProarrow.Category.Colimit
IsRepresentableLimitProarrow.Category.Limit
IsSimplexProarrow.Category.Instance.Simplex