Biography:Ieke Moerdijk
Ieke Moerdijk | |
---|---|
Born | Veenendaal, The Netherlands | January 23, 1958
Nationality | Dutch |
Alma mater | University of Amsterdam |
Known for | Categorical set theory Constructive nonstandard analysis Dendroidal set |
Awards | Descartes-Huygens Prize, (2011) Spinoza Prize (2012) |
Scientific career | |
Fields | Mathematics |
Institutions | Utrecht University |
Thesis | Topics in Intuitionism and Topos Theory (1985) |
Doctoral advisor | Anne Sjerp Troelstra |
Notable students | Janez Mrčun Marius Crainic |
Izak (Ieke) Moerdijk (Dutch: [ˈikə ˈmurdɛik]; born 23 January 1958) is a Dutch mathematician, currently working at Utrecht University, who in 2012 won the Spinoza prize.[1]
Education and career
Moerdijk studied mathematics, philosophy and general linguistics at the University of Amsterdam. He obtained his PhD cum laude in 1985 at the same institution. His thesis was entitled Topics in intuitionism and topos theory and was written under the supervision of Anne Sjerp Troelstra.[2][3]
After that, he worked as postdoctoral researcher at the University of Chicago and Cambridge. From 1988 to 2011 he was professor at Utrecht University. After working at the Mathematical Institute of the Radboud University Nijmegen for a few years, he returned to Utrecht University in 2016.[4]
In 2000 Moerdijk was an invited speaker to the 3rd European Congress of Mathematics.[5] He was elected member of the Royal Netherlands Academy of Arts and Sciences in 2006[6] and of the Academia Europaea in 2014.[7]
Moerdijk received the 2011 Descartes-Huygens prize for his contribution to French–Dutch scientific collaborations from the Académie des Sciences in Paris.[8][9] In 2012 he received the Spinoza prize from the Netherlands Organisation for Scientific Research.[1][10][11]
Research
Moerdijk's research interests lie in the fields of category theory, algebraic and differential topology, and their applications to mathematical logic.
Moerdijk is seen, together with André Joyal, as one of the founders of algebraic set theory.[12][13] In 1992 he wrote, together with Saunders Mac Lane, a book on topos theory that became the standard reference on the subject: Sheaves in geometry and logic. A first introduction to topos theory.[14] In 1995 he made pioneering contributions to constructive non-standard analysis, of which he is one of the founders.[15]
Moerdijk's research has also covered topics in differential geometry; in particular, he wrote in 2003 an influential monograph on foliations and Lie groupoids.[16] Recently Moerdijk pursues, among other topics, research on the theory of operads, on the logic structure of quantum information theory, and on dendroidal sets.
Moerdijk has written more than a hundred publications and is the author of several influential books. He supervised 19 PhD students as of 2021.[3]
Selected books
- Joyal, André; Moerdijk, Ieke (1995) Algebraic set theory. London Mathematical Society Lecture Note Series, 220. Cambridge University Press, Cambridge. ISBN:9780511752483
- Mac Lane, Saunders; Moerdijk, Ieke (1994) Sheaves in geometry and logic. A first introduction to topos theory. Corrected reprint of the 1992 edition. Universitext. Springer-Verlag, New York, 1994. ISBN:978-0-387-97710-2
- Moerdijk, Ieke.; Mrčun, Janez (2003) Introduction to foliations and Lie groupoids. Cambridge Studies in Advanced Mathematics, 91. Cambridge University Press, Cambridge. ISBN:9780511615450
- Moerdijk, Ieke; Reyes, Gonzalo E. (1991) Models for smooth infinitesimal analysis. Springer-Verlag, New York. ISBN:978-0-387-97489-7
- Moerdijk, Ieke, Classifying spaces and classifying topoi, Lecture Notes in Mathematics 1616, Springer 1995. vi+94 pp. ISBN:3-540-60319-0
References
- ↑ 1.0 1.1 "NWO Spinoza Prize 2012 | NWO" (in en). https://www.nwo.nl/en/nwo-spinoza-prize-2012.
- ↑ "Album Academicum". http://albumacademicum.uva.nl/id/id051942.
- ↑ 3.0 3.1 "Ieke Moerdijk - The Mathematics Genealogy Project". https://www.mathgenealogy.org/id.php?id=55506.
- ↑ "Catalogus Professorum - Prof Detail". https://profs.library.uu.nl/index.php/profrec/getprofdata/1404/44/71/0.
- ↑ "Parallel Lectures". http://www.imub.ub.edu/3ecm/parallel.htm.
- ↑ "Ieke Moerdijk" (in Dutch). Royal Netherlands Academy of Arts and Sciences. https://www.knaw.nl/nl/leden/leden/5269.
- ↑ "Academy of Europe: Moerdijk Izak". https://www.ae-info.org/ae/Member/Moerdijk_Izak.
- ↑ "Remise du prix Descartes-Huygens 2012". Académie des sciences. https://www.academie-sciences.fr/archivage_site/presse/communique/prixdescartes_190312.pdf.
- ↑ "Descartes-Huygens Prize for François Hammer and Ieke Moerdijk — KNAW". https://knaw.nl/en/news/news/descarteshuygensprijsvoorfranassoishammer.
- ↑ "Spinoza Prize for Ieke Moerdijk of Radboud University Nijmegen (€2.5 million)" (in en). https://www.ru.nl/phd/research/prizes-achievements/spinoza-prize-winners/more-info/spinoza-prize-ieke-moerdijk-radboud-university/.
- ↑ "Dutch Mathematician Ieke Moerdjik wins the Spinoza Prize | European Mathematical Society". https://euro-math-soc.eu/news/12/06/30/dutch-mathematician-ieke-moerdjik-wins-spinoza-prize.
- ↑ "algebraic set theory in nLab". https://ncatlab.org/nlab/show/algebraic+set+theory.
- ↑ Joyal, Andri; Moerdijk, Ieke (1995). Algebraic Set Theory. London Mathematical Society Lecture Note Series. Cambridge: Cambridge University Press. doi:10.1017/cbo9780511752483. ISBN 978-0-521-55830-3. https://www.cambridge.org/core/books/algebraic-set-theory/31FB231402C980AAEBAC0A02CB5F6DD9.
- ↑ Mac Lane, Saunders; Moerdijk, Ieke (1994). Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Universitext. New York, NY: Springer New York. doi:10.1007/978-1-4612-0927-0. ISBN 978-0-387-97710-2. http://link.springer.com/10.1007/978-1-4612-0927-0.
- ↑ Moerdijk, Ieke (1995-05-16). "A model for intuitionistic non-standard arithmetic" (in en). Annals of Pure and Applied Logic 73 (1): 37–51. doi:10.1016/0168-0072(93)E0071-U. ISSN 0168-0072. https://dx.doi.org/10.1016%2F0168-0072%2893%29E0071-U.
- ↑ Moerdijk, I.; Mrcun, J. (2003). Introduction to Foliations and Lie Groupoids. Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press. doi:10.1017/cbo9780511615450. ISBN 978-0-521-83197-0. https://www.cambridge.org/core/books/introduction-to-foliations-and-lie-groupoids/75BBFED277FF39A56594731202789016.
- Official Page at Utrecht University website
- Official Page at the Dutch Geometry and Quantum Theory cluster
- Entry at nLab, a category theory wiki