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

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

Index - A

absurdL	Proarrow.Category.Instance.Fin
absurdR	Proarrow.Category.Instance.Fin
Act	Proarrow.Category.Monoidal.Action
act	Proarrow.Category.Monoidal.Action
action	Proarrow.Monoid
ActIsCoprod	Proarrow.Object.BinaryCoproduct
ActIsProd	Proarrow.Object.BinaryProduct
add	Proarrow.Category.Instance.Kleisli
Adjunction
1 (Type/Class)	Proarrow.Category.Bicategory
2 (Type/Class)	Proarrow.Adjunction, Proarrow
adjVK	Proarrow.Category.Equipment
Algebra	Proarrow.Category.Monoidal.Optic
algebra	Proarrow.Category.Monoidal.Optic
AlgebraicLens	Proarrow.Category.Monoidal.Optic
alt	Proarrow.Category.Monoidal.Applicative
Alternative	Proarrow.Category.Monoidal.Applicative
ana	Proarrow.Profunctor.Fix
Any	Proarrow.Core
anyArr	Proarrow.Preorder.ThinCategory
Ap	Proarrow.Profunctor.Free
ap	Proarrow.Object.Exponential
append
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Instance.Mat
appendObj	Proarrow.Category.Bicategory
Applicative	Proarrow.Category.Monoidal.Applicative
apply	Proarrow.Category.Instance.Mat
Arr	Proarrow.Category.Enriched
arr
1 (Function)	Proarrow.Core
2 (Function)	Proarrow.Preorder.ThinCategory
3 (Function)	Proarrow.Category.Instance.Kleisli
arrCoprod	Proarrow.Category.Instance.Collage
asObj
1 (Function)	Proarrow.Category.Monoidal.Strictified
2 (Function)	Proarrow.Category.Bicategory.Strictified
Assoc
1 (Type/Class)	Proarrow.Category.Monoidal.Strictified
2 (Type/Class)	Proarrow.Category.Instance.List
3 (Type/Class)	Proarrow.Category.Bicategory.Strictified
associator
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
associator'
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
3 (Function)	Proarrow.Category.Instance.Simplex
associatorInv
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
associatorInv'
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Bicategory
3 (Function)	Proarrow.Category.Instance.Simplex
associatorProd	Proarrow.Object.BinaryProduct
associatorProdInv	Proarrow.Object.BinaryProduct
asSPath	Proarrow.Category.Bicategory.Strictified