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

Index - B

BIProarrow.Core
BicategoryProarrow.Category.Bicategory
BiCCCProarrow.Object.Exponential
Bidiscrete 
1 (Type/Class)Proarrow.Category.Bicategory.Bidiscrete
2 (Data Constructor)Proarrow.Category.Bicategory.Bidiscrete
bimapCompProarrow.Profunctor.Composition
BimoduleProarrow.Category.Bicategory
BIPARAProarrow.Category.Enriched.Bipara
Bipara 
1 (Type/Class)Proarrow.Category.Enriched.Bipara
2 (Data Constructor)Proarrow.Category.Enriched.Bipara
biparaProarrow.Category.Equipment.Quintet
BIPARAKProarrow.Category.Enriched.Bipara
BiParaSqProarrow.Category.Equipment.Quintet
BiSimplexProarrow.Category.Instance.Simplex
bisimplexProarrow.Category.Instance.Simplex
BOOLProarrow.Category.Instance.Bool
boolArrProarrow.Category.Instance.Bool
BooleansProarrow.Category.Instance.Bool
boolIdProarrow.Category.Instance.Bool
Bottom 
1 (Type/Class)Proarrow.Category.Instance.Zero
2 (Type/Class)Proarrow.Object.Dual
bottomObjProarrow.Object.Dual