Ieke Moerdijk

from Wikipedia, the free encyclopedia

Izak "Ieke" Moerdijk (born January 23, 1958 ) is a Dutch mathematician.

Moerdijk in Oberwolfach

Moerdijk studied mathematics, philosophy and general linguistics and received his doctorate in 1985 under Anne Troelstra at the University of Amsterdam ( Topics in Intuitionism and Topos Theory ). He was a post-doctoral student at Cambridge University and the University of Chicago . In 1986 he received a Huygens grant from the NWO in the Netherlands. Since 1988 he has been Professor of Topology at Utrecht University and since 2011 he has been Professor of Algebra and Topology at Radboud University Nijmegen .

He was visiting professor in Cambridge, Montreal, Sydney and Aarhus, among others.

He is co-author of a standard work on topos theory , first published in 1992. The theory, which goes back to Alexander Grothendieck and William Lawvere , has connections to topology, algebra as well as logic. He is one of the founders of algebraic set theory and later turned to algebraic topology and differential geometry, the subject of two of his books. He also dealt with operads and constructive non-standard analysis, of which he is one of the founders.

Most recently (2011) he has been working on algebraic structures in quantum information theory .

In 2012 he received the highest Dutch science award , the Spinoza Prize . Since 2006 he has been a member of the Royal Netherlands Academy of Sciences . In 2014 he was elected to the Academia Europaea .

Fonts

  • with Saunders Mac Lane : Sheaves in geometry and logic. A first introduction to topos theory. Universitext, Springer-Verlag, 1992, 1994.
  • with Janez Mrčun: Introduction to foliations and Lie groupoids. Cambridge Studies in Advanced Mathematics 91, Cambridge University Press 2003.
  • with Gonzalo E. Reyes: Models for smooth infinitesimal analysis. Springer-Verlag, 1991.
  • with André Joyal : Algebraic set theory. London Mathematical Society Lecture Note Series 220, Cambridge University Press, 1995.
  • Classifying spaces and classifying topoi. Lecture Notes in Mathematics 1616, Springer Verlag, 1995.
  • with Marius Crainic: Deformations of Lie brackets: cohomological aspects. J. Eur. Math. Soc. (JEMS) 10 (2008), no. 4, 1037-1059.
  • with Clemens Berger: Axiomatic homotopy theory for operads. Comment. Math. Helv. 78 (2003), no. 4, 805-831.
  • Orbifolds as groupoids: an introduction. Orbifolds in mathematics and physics (Madison, WI, 2001), 205-222, Contemp. Math., 310, Amer. Math. Soc., Providence, RI, 2002.

Web links

Individual evidence

  1. Ieke Moerdijk in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
  2. ^ Moerdijk A model for intuitionistic nonstandard arithmetic , Annals of Pure and Applied Logic, Volume 73, 1995, pp. 37-51.