| Daniel Kan | |
| Birth Date: | 1927 8, df=yes |
| Birth Place: | Amsterdam, Netherlands |
| Nationality: | Dutch |
| Fields: | Mathematics |
| Workplaces: | Massachusetts Institute of Technology |
| Alma Mater: | Hebrew University of Jerusalem |
| Thesis Title: | Abstract Homotopy |
| Thesis Year: | 1955 |
| Doctoral Advisor: | Samuel Eilenberg |
| Doctoral Students: | Aldridge Bousfield William Gerard Dwyer Stewart Priddy Jeffrey H. Smith |
| Known For: | Kan extension Kan fibration Kan–Thurston theorem Dold–Kan correspondence |
Daniel Marinus Kan (or simply Dan Kan) (August 4, 1927 – August 4, 2013) was a Dutch mathematician working in category theory and homotopy theory. He was a prolific contributor to both fields for six decades, having authored or coauthored several dozen research papers and monographs.
He received his Ph.D. at Hebrew University in 1955, under the direction of Samuel Eilenberg. His students include Aldridge K. Bousfield, William Dwyer, Stewart Priddy, Emmanuel Dror Farjoun, and Jeffrey H. Smith. He was an emeritus professor at the Massachusetts Institute of Technology where he taught from 1959, formally retiring in 1993.
He played a role in the beginnings of modern homotopy theory similar to that of Saunders Mac Lane in homological algebra, namely the adroit and persistent application of categorical methods. His most famous work is the abstract formulation of the discovery of adjoint functors, which dates from 1958.[1] The Kan extension is one of the broadest descriptions of a useful general class of adjunctions.
From the mid-1950s he made distinguished contributions to the theory of simplicial sets and simplicial methods in topology in general. In recognition of this, fibrations in the usual closed model category structure on the category of simplicial sets are known as Kan fibrations, and the fibrant objects are known as Kan complexes.
Some of Kan's later work concerned model categories and other homotopical categories. Especially noteworthy are his work with Aldridge Bousfield on completions and homotopy limits, and his work with William Dwyer on simplicial localizations of relative categories.