I will be calling Arrow notation to the arrow do-notation of Haskell, internal language for strong promonads. This is different from do-notation, the internal language of strong monads over cartesian categories.
- Freyd category arrow notation
- symmetric monoidal arrow notation
- copy-discard-compare arrow notation
- copy-discard arrow notation
- arrow notation composition
- arrow notation - terms have a unique derivation
- arrow notation - quotienting by interchange
- arrow notation - theory of effectful copy-discard categories
- loop arrow notation
Prerequisites
Considerations
Tags: internal language.