The Kleisli category and Kleisli triples represent foundational contributions to category theory that bear the name of Swiss mathematician Heinrich Kleisli. Born in 1930 in Niederweningen, he dedicated his career to the rigorous study of logic and mathematical foundations, eventually influencing diverse fields such as database integration through the development of the Kleisli Query System.
Academic Formation
Heinrich Kleisli pursued his advanced studies at ETH Zurich, completing his doctorate in 1960. His research focused on homotopy and abelian categories, benefiting from the supervision of Beno Eckmann and Ernst Specker. This period of training provided the technical basis for his future explorations into category theory and the nature of standard constructions.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Professional Appointments
The professional life of Kleisli transitioned between international and domestic institutions. He began his teaching career as an associate professor at the University of Ottawa. In 1966, he returned to Switzerland to join the University of Fribourg, where he secured a full professorship the following year. He remained a member of the Fribourg faculty until his retirement, eventually attaining the title of professor emeritus.
Mathematical Legacy
Kleisli’s work is primarily recognized for its formal impact on category theory. His 1965 publication, 'Every standard construction is induced by a pair of adjoint functors', remains a key reference point in the field. Beyond theoretical mathematics, his concepts were later utilized in computer science, specifically in the creation of the Kleisli Query System at the University of Pennsylvania to assist in the integration of heterogeneous databases.
Fast facts
- Born: 1930, Niederweningen, Switzerland
- Died: 2011
- Alma Mater: ETH Zurich
- Ph.D. Year: 1960
- Primary Field: Logic and Foundations
- Former Employer: University of Ottawa
- Former Employer: University of Fribourg
Questions readers ask
What is the Kleisli category?
It is a mathematical construction in category theory named after Heinrich Kleisli.
Where did Kleisli spend most of his career?
He spent the majority of his academic career at the University of Fribourg, where he served as a full professor starting in 1967.
Achievements
- Held posts at University of Ottawa and University of Fribourg
