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

Index - X

XProarrow.Category.Instance.Simplex