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

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

Index - A

Act	Proarrow.Category.Monoidal.Optic
act	Proarrow.Category.Monoidal.Optic
action	Proarrow.Category.Monoidal.Optic
Adjunction
1 (Type/Class)	Proarrow.Category.Bicategory
2 (Type/Class)	Proarrow.Adjunction, Proarrow
Algebra	Proarrow.Category.Monoidal.Optic
algebra	Proarrow.Category.Monoidal.Optic
AlgebraicLens	Proarrow.Category.Monoidal.Optic
Alt
1 (Type/Class)	Proarrow.Category.Monoidal.Applicative
2 (Data Constructor)	Proarrow.Category.Monoidal.Applicative
alt	Proarrow.Category.Monoidal.Applicative
Alternative	Proarrow.Category.Monoidal.Applicative
altP	Proarrow.Category.Monoidal.Applicative
ana	Proarrow.Profunctor.Fix
Any	Proarrow.Core
ap	Proarrow.Object.Exponential
App
1 (Type/Class)	Proarrow.Category.Monoidal.Applicative
2 (Data Constructor)	Proarrow.Category.Monoidal.Applicative
apP	Proarrow.Category.Monoidal.Applicative
append	Proarrow.Category.Bicategory
appendObj	Proarrow.Category.Bicategory
Applicative	Proarrow.Category.Monoidal.Applicative
Arr	Proarrow.Category.Enriched
arr	Proarrow.Core
asObj	Proarrow.Category.Bicategory
associator
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
associator'	Proarrow.Category.Instance.Simplex
associatorInv
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
associatorInv'	Proarrow.Category.Instance.Simplex
associatorProd	Proarrow.Object.BinaryProduct
associatorProdInv	Proarrow.Object.BinaryProduct
asSPath	Proarrow.Category.Bicategory