Kleisli category
Kleisli category noun: a category naturally associated to any monad T, and equivalent to the category of free T-algebras.

Noun
Kleisli category (plural Kleisli categories)
- A category naturally associated to any monad T, and equivalent to the category of free T-algebras.
Forms of Kleisli category
| plural | Kleisli categories |
|---|
Origin of Kleisli category
Named after the Swiss mathematician Heinrich Kleisli (1930–2011).
Questions about Kleisli category
- What does Kleisli category mean?
- Kleisli category means a category naturally associated to any monad T, and equivalent to the category of free T-algebras.
- What part of speech is Kleisli category?
- Kleisli category is a noun.
- What is the plural of Kleisli category?
- The plural of Kleisli category is Kleisli categories.
Words near Kleisli category in the dictionary
Source and license
Adapted from Wiktionary: Kleisli category (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “Kleisli category.” Word.ws, https://word.ws/kleisli_category. Based on Wiktionary, CC BY-SA 4.0.
