Heinrich Kleisli (; October 19, 1930 – April 5, 2011) was a

Swiss Swiss may refer to: * the adjectival form of Switzerland * Swiss people Places * Swiss, Missouri * Swiss, North Carolina *Swiss, West Virginia * Swiss, Wisconsin Other uses *Swiss-system tournament, in various games and sports *Swiss Internation ...

mathematician. He is the namesake of several constructions in

category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

, including the Kleisli category and

Kleisli triple In category theory, a Kleisli category is a category naturally associated to any monad ''T''. It is equivalent to the category of free ''T''-algebras. The Kleisli category is one of two extremal solutions to the question ''Does every monad arise fr ...

s. He is also the namesake of the Kleisli Query System, a tool for integration of heterogeneous databases developed at the University of Pennsylvania. Kleisli earned his Ph.D. at

ETH Zurich (colloquially) , former_name = eidgenössische polytechnische Schule , image = ETHZ.JPG , image_size = , established = , type = Public , budget = CHF 1.896 billion (2021) , rector = Günther Dissertori , president = Joël Mesot , ac ...

in 1960, having been supervised by Beno Eckmann and Ernst Specker. His dissertation was on homotopy and abelian categories. He served as an associate professor at the University of Ottawa before relocating to the University of Fribourg in 1966. He became a full professor at Fribourg in 1967.

External links

*
In memoriam: Prof. emerit. Heinrich Kleisli
* 2011 deaths 1930 births Swiss mathematicians ETH Zurich alumni University of Ottawa faculty Academic staff of the University of Fribourg {{Europe-mathematician-stub