Kleisli category en · NOUN
Etymology
Named after the Swiss mathematician Heinrich Kleisli (1930–2011).
Meanings
- A category naturally associated to any monad T, and equivalent to the category of free T-algebras.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Kleisli categories | Number=Plur | lexicographic |