| !: | Control.Category.Linear |
| . | Control.Category.Constrained |
| // | Control.Category.Constrained |
| All | Control.Category.Constrained |
| apply | Control.Category.Constrained |
| assoc | Control.Category.Constrained |
| assoc' | Control.Category.Constrained |
| Cartesian | Control.Category.Constrained |
| cartesianAssoc | Control.Category.Constrained |
| cartesianAssoc' | Control.Category.Constrained |
| cartesianCross | Control.Category.Constrained |
| cartesianSwap | Control.Category.Constrained |
| cartesianUnitor | Control.Category.Constrained |
| cartesianUnitor' | Control.Category.Constrained |
| Category | Control.Category.Constrained |
| Closed | Control.Category.Constrained |
| CoCartesian | Control.Category.Constrained |
| Comparator | Control.Category.Constrained |
| compareMorphs | Control.Category.Constrained |
| copy | Control.Category.Linear |
| curry | Control.Category.Constrained |
| decode | Control.Category.Linear |
| dis | Control.Category.Constrained |
| discard | Control.Category.Linear |
| disDefault | Control.Category.Constrained |
| dual | Control.Category.Constrained |
| dup | Control.Category.Constrained |
| encode | Control.Category.Linear |
| EQ | Control.Category.Constrained |
| exl | Control.Category.Constrained |
| exlDefault | Control.Category.Constrained |
| exr | Control.Category.Constrained |
| exrDefault | Control.Category.Constrained |
| GT | Control.Category.Constrained |
| HasCompare | Control.Category.Constrained |
| Hopf | Control.Category.Constrained |
| id | Control.Category.Constrained |
| ignore | Control.Category.Linear |
| inl | Control.Category.Constrained |
| inr | Control.Category.Constrained |
| Invertible | Control.Category.Constrained |
| jam | Control.Category.Constrained |
| jamDefault | Control.Category.Constrained |
| LT | Control.Category.Constrained |
| merge | Control.Category.Linear |
| mkUnit | Control.Category.Linear |
| Monoidal | Control.Category.Constrained |
| new | Control.Category.Constrained |
| newDefault | Control.Category.Constrained |
| O2 | Control.Category.Constrained |
| O3 | Control.Category.Constrained |
| O4 | Control.Category.Constrained |
| Obj | Control.Category.Constrained |
| objProd | Control.Category.Constrained |
| objprod | Control.Category.Constrained |
| objunit | Control.Category.Constrained |
| Order | Control.Category.Constrained |
| P | Control.Category.Linear |
| ProdObj | Control.Category.Constrained |
| prodObj | Control.Category.Constrained |
| prodobj | Control.Category.Constrained |
| split | Control.Category.Linear |
| swap | Control.Category.Constrained |
| transp | Control.Category.Constrained |
| Trivial | Control.Category.Constrained |
| unitObj | Control.Category.Constrained |
| unitor | Control.Category.Constrained |
| unitor' | Control.Category.Constrained |
| × | Control.Category.Constrained |
| ∘ | Control.Category.Constrained |
| ⊗ | Control.Category.Constrained |
| ▵ | Control.Category.Constrained |
| ▵! | Control.Category.Constrained |
| ▿ | Control.Category.Constrained |
| ▿! | Control.Category.Constrained |