Kleisli category

名词 n.

英文释义

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

词形变化

Kleisli categories plural

词源

Named after the Swiss mathematician Heinrich Kleisli (1930–2011).
0 次浏览 数据来源: Wiktionary