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

Index - <

<=Proarrow.Preorder
<| 
1 (Type/Class)Proarrow.Category.Bicategory.Kan
2 (Type/Class)Proarrow.Profunctor.Rift
<~~Proarrow.Object.Coexponential