Kleisli category

noun

A category naturally associated to any monad T, and equivalent to the category of free T-algebras.

Meanings

nounKleisli category (plural Kleisli categories)

plural Kleisli categories

  1. category theoryA category naturally associated to any monad T, and equivalent to the category of free T-algebras.

Origin

Named after the Swiss mathematician Heinrich Kleisli (1930–2011).

Full word history & related roots →
Cite this entry
APA

Kleisli category. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/Kleisli%20category

MLA

“Kleisli category.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Kleisli%20category. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “Kleisli category,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/Kleisli%20category.

Source: Kleisli category on Wiktionary, CC BY-SA 4.0.