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

Index - Z

Z 
1 (Type/Class)Proarrow.Category.Instance.Simplex
2 (Type/Class)Proarrow.Category.Instance.Mat
3 (Type/Class)Proarrow.Category.Instance.Fin
ZEQProarrow.Category.Instance.Fin
ZeroProarrow.Category.Instance.Zero
zero 
1 (Function)Proarrow.Category.Instance.Mat
2 (Function)Proarrow.Category.Instance.Kleisli
ZLTProarrow.Category.Instance.Fin
ZZProarrow.Category.Instance.Simplex
ZZZProarrow.Category.Instance.Simplex