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
zeroProarrow.Category.Instance.Mat
ZLTProarrow.Category.Instance.Fin
ZZProarrow.Category.Instance.Simplex