A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
$
%
&
*
+
.
/
<
=
?
@
\
^
|
-
~
All

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 (Data Constructor)	Proarrow.Category.Instance.Free
3 (Type/Class)	Proarrow.Profunctor.Identity
4 (Data Constructor)	Proarrow.Profunctor.Identity
id	Proarrow.Core, Proarrow.Promonad, Proarrow
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
INF	Proarrow.Category.Instance.Cost
Inf	Proarrow.Category.Instance.Cost
InitF
1 (Type/Class)	Proarrow.Object.Initial
2 (Type/Class)	Proarrow.Tools.CCC
Initial	Proarrow.Object.Initial
InitialLimit
1 (Type/Class)	Proarrow.Category.Colimit
2 (Data Constructor)	Proarrow.Category.Colimit
InitialObject
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Object.Initial
InitialProfunctor	Proarrow.Profunctor.Initial
Initiate
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Category.Instance.Cat
initiate
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Object.Initial
initiate'	Proarrow.Object.Initial
initUniv	Proarrow.Category.Equipment.Limit
inj	Proarrow.Category.Bicategory.Kan
Injective	Proarrow.Category.Instance.Rel
InjL
1 (Data Constructor)	Proarrow.Category.Instance.Coproduct
2 (Data Constructor)	Proarrow.Profunctor.Coproduct
3 (Type/Class)	Proarrow.Category.Instance.Collage
4 (Data Constructor)	Proarrow.Category.Instance.Collage
InjLP	Proarrow.Category.Instance.Cat
InjR
1 (Data Constructor)	Proarrow.Category.Instance.Coproduct
2 (Data Constructor)	Proarrow.Profunctor.Coproduct
3 (Type/Class)	Proarrow.Category.Instance.Collage
4 (Data Constructor)	Proarrow.Category.Instance.Collage
InjRP	Proarrow.Category.Instance.Cat
InL	Proarrow.Category.Instance.Collage
InR	Proarrow.Category.Instance.Collage
INT	Proarrow.Category.Instance.IntConstruction
Int	Proarrow.Category.Instance.IntConstruction
IntConstruction	Proarrow.Category.Instance.IntConstruction
IntMinus	Proarrow.Category.Instance.IntConstruction
IntPlus	Proarrow.Category.Instance.IntConstruction
introI	Proarrow.Category.Bicategory.Strictified
introO	Proarrow.Category.Bicategory.Strictified
iObj	Proarrow.Category.Bicategory
ip0	Proarrow.Category.Equipment.Stateful
ip1	Proarrow.Category.Equipment.Stateful
Is	Proarrow.Core
IsBool	Proarrow.Category.Instance.Bool
IsBoolArr	Proarrow.Category.Instance.Bool
IsChart	Proarrow.Category.Monoidal.Optic
IsCorepresentableColimit	Proarrow.Category.Colimit
IsCost	Proarrow.Category.Instance.Cost
isCotabulator	Proarrow.Category.Bicategory.Prof
IsFin	Proarrow.Category.Instance.Fin
IsFreeOb	Proarrow.Category.Instance.Free
isFunctional	Proarrow.Category.Instance.Rel
IsFunctorial	Proarrow.Category.Bicategory.Prof
isInjective	Proarrow.Category.Instance.Rel
IsList	Proarrow.Category.Monoidal.Strictified
IsLR
1 (Type/Class)	Proarrow.Category.Instance.Coproduct
2 (Type/Class)	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
IsOb0	Proarrow.Category.Bicategory.Sub
IsObI	Proarrow.Category.Bicategory.Sub
IsObMult	Proarrow.Category.Instance.Sub
IsObO	Proarrow.Category.Bicategory.Sub
IsOptic	Proarrow.Category.Monoidal.Optic
isoToInt	Proarrow.Category.Instance.IntConstruction
IsPath	Proarrow.Category.Bicategory.Strictified
isReflexive	Proarrow.Category.Instance.Rel
IsRepresentableLimit	Proarrow.Category.Limit
isSurjective	Proarrow.Category.Instance.Rel
isTotal	Proarrow.Category.Instance.Rel