Alexander Grothendieck
The Grothendieck construction (named after Alexander Grothendieck) is a construction used in the mathematical field of category theory.