Index - B
| B | Proarrow.Category.Bicategory.Adj |
| Bicategory | Proarrow.Category.Bicategory |
| BiCCC | Proarrow.Object.Exponential |
| Bidiscrete | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Bidiscrete |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Bidiscrete |
| bimap | Proarrow.Category.Instance.Nat |
| Bimodule | Proarrow.Category.Bicategory |
| bind | Proarrow.Profunctor.Representable |
| bindRep | Proarrow.Adjunction |
| Bitstring | Proarrow.Category.Instance.ZX |
| BOOL | Proarrow.Category.Instance.Bool |
| boolArr | Proarrow.Category.Instance.Bool |
| Booleans | Proarrow.Category.Instance.Bool |
| boolId | Proarrow.Category.Instance.Bool |
| Bottom | Proarrow.Category.Instance.Zero |
| BS | Proarrow.Category.Instance.ZX |