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

Index - I

IProarrow.Category.Bicategory
Id 
1 (Data Constructor)Proarrow.Category.Bicategory.CategoryAsBi
2 (Type/Class)Proarrow.Profunctor.Identity
3 (Data Constructor)Proarrow.Profunctor.Identity
idProarrow.Core, Proarrow.Promonad
IIsObProarrow.Category.Bicategory
InProarrow.Profunctor.Fix
indexProarrow.Profunctor.Representable
InitialLimit 
1 (Type/Class)Proarrow.Category.Colimit
2 (Data Constructor)Proarrow.Category.Colimit
InitialObjectProarrow.Object.Initial
InitialProfunctorProarrow.Profunctor.Initial
initiateProarrow.Object.Initial
initiate'Proarrow.Object.Initial
InjL 
1 (Data Constructor)Proarrow.Category.Instance.Coproduct
2 (Data Constructor)Proarrow.Profunctor.Coproduct
InjR 
1 (Data Constructor)Proarrow.Category.Instance.Coproduct
2 (Data Constructor)Proarrow.Profunctor.Coproduct
InLProarrow.Promonad.Collage
InRProarrow.Promonad.Collage
introIProarrow.Category.Bicategory
introOProarrow.Category.Bicategory
IsProarrow.Core
IsBoolProarrow.Category.Instance.Bool
IsCategoryOfProarrow.Core
IsCoproductProarrow.Category.Instance.Coproduct
IsCorepresentableColimitProarrow.Category.Colimit
IsList 
1 (Type/Class)Proarrow.Category.Monoidal
2 (Type/Class)Proarrow.Category.Instance.List
IsNatProarrow.Category.Instance.Simplex
IsObProarrow.Category.Bicategory.Sub
IsObIProarrow.Category.Bicategory.Sub
IsObMultProarrow.Category.Instance.Sub
IsObOProarrow.Category.Bicategory.Sub
isObParProarrow.Category.Monoidal
IsPathProarrow.Category.Bicategory
IsRepresentableLimitProarrow.Category.Limit
IsVoidProarrow.Category.Instance.Zero