Kleisli category
nounEtymology
Named after the Swiss mathematician Heinrich Kleisli (1930–2011).
Definitions
A category naturally associated to any monad T, and equivalent to the category of free…
A category naturally associated to any monad T, and equivalent to the category of free T-algebras.
The neighborhood
Vish — recursive loop
No curated loop yet for Kleisli category. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA