proarrow-0: Category theory with a central role for profunctors (Index - I)

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

Index - I

I	Proarrow.Category.Bicategory
Id
1 (Data Constructor)	Proarrow.Category.Bicategory.CategoryAsBi
2 (Type/Class)	Proarrow.Profunctor.Identity
3 (Data Constructor)	Proarrow.Profunctor.Identity
id	Proarrow.Core, Proarrow.Promonad
idLan	Proarrow.Category.Bicategory.Kan
idLift	Proarrow.Category.Bicategory.Kan
idRan	Proarrow.Category.Bicategory.Kan
idRift	Proarrow.Category.Bicategory.Kan
In	Proarrow.Profunctor.Fix
index	Proarrow.Profunctor.Representable
InitF	Proarrow.Helper.CCC
InitialLimit
1 (Type/Class)	Proarrow.Category.Colimit
2 (Data Constructor)	Proarrow.Category.Colimit
InitialObject	Proarrow.Object.Initial
InitialProfunctor	Proarrow.Profunctor.Initial
initiate	Proarrow.Object.Initial
initiate'	Proarrow.Object.Initial
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
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
InL	Proarrow.Category.Instance.Collage
InR	Proarrow.Category.Instance.Collage
introI	Proarrow.Category.Bicategory.Strictified
introO	Proarrow.Category.Bicategory.Strictified
iObj	Proarrow.Category.Bicategory
Is	Proarrow.Core
IsBool	Proarrow.Category.Instance.Bool
IsBoolArr	Proarrow.Category.Instance.Bool
isCotabulator	Proarrow.Category.Bicategory.Prof
IsFin	Proarrow.Category.Instance.Fin
IsFunctorial	Proarrow.Category.Bicategory.Prof
IsList
1 (Type/Class)	Proarrow.Category.Monoidal.Strictified
2 (Type/Class)	Proarrow.Category.Instance.List
IsLR	Proarrow.Category.Instance.Collage
IsLTE	Proarrow.Category.Instance.Fin
IsNat
1 (Type/Class)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Category.Instance.Mat
IsOb	Proarrow.Category.Bicategory.Sub
IsObI	Proarrow.Category.Bicategory.Sub
IsObMult	Proarrow.Category.Instance.Sub
IsObO	Proarrow.Category.Bicategory.Sub
isObPar	Proarrow.Category.Monoidal
IsOptic	Proarrow.Category.Monoidal.Optic
IsPath	Proarrow.Category.Bicategory.Strictified
IsPosetOf	Proarrow.Preorder
IsRepresentableColimit	Proarrow.Category.Colimit
IsRepresentableLimit	Proarrow.Category.Limit
IsSimplex	Proarrow.Category.Instance.Simplex