English Explanatory Dictionary

Kleisli category

English dictionary entry

Meanings

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

Word forms

Kleisli category Kleisli categories

Etymology

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

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on K Russian dictionary Dahl dictionary