prof. dr. I. (Ieke) Moerdijk
I.Moerdijk@uu.nl
Professor

Gegenereerd op 2017-09-26 16:50:48


Chair
Distinguished University Professor
Profile

Algebraic topology and category theory. Applications of topological methods to mathematical logic. See also

http://www.projects.science.uu.nl/Moerdijk/

 

Strategic themes / Focus areas
Gegenereerd op 2017-09-26 16:50:48
Curriculum vitae

Izak (Ieke) Moerdijk studied Mathematics, Philosophy and General Linguistics at the University of Amsterdam. He received his PhD in Mathematics from the same institution in 1985, with the distinction Cum Laude. Subsequently he worked at the University of Chicago and at the University of Cambridge, before joining the Mathematics Department of the University of Utrecht in 1988. From 2011 until 2015 he occupied the chair of algebra and topology at Radboud University. He returned to Utrecht in 2016.


Moerdijk was awarded a Huygens Fellowship from NWO in 1986 and a PIONIER grant, again from NWO, in 1995. He was elected member of the KNAW (Royal Academy of Arts and Sciences) in 2006. In 2011 Moerdijk received the Descartes-Huygens prize from the Académie des Sciences, and in 2012 the Spinoza award from NWO. He held visiting positions at Cambridge (St John's College), Montreal (McGill University), Sydney (University) and Aarhus, among others.

Moerdijk's current research interests include algebraic and differential topology (operads, Lie groupoids, ...), and applications of topological structures in mathematical logic. He is the coauthor of several well-known books, including "Sheaves in Geometry and Logic" with S. Mac Lane (Springer-Verlag, 1992, 1994), and "Introduction to Foliations and Lie Groupoids" with J. Mrcun (Cambridge UP, 2003).

Gegenereerd op 2017-09-26 16:50:48
All publications
  2016 - Scholarly publications
Heuts, Gijs, Hinich, Vladimir & Moerdijk, Ieke (22.10.2016). On the equivalence between Lurie's model and the dendroidal model for infinity-operads. Advances in Mathematics, 302, (pp. 869-1043) (175 p.).
  2012 - Scholarly publications
van den Berg, B. & Moerdijk, I. (2012). Aspects of predicative algebraic set theory III: sheaves. Proceedings of the London Mathematical Society, 105 (5), (pp. 1076-1122) (47 p.).
van den Berg, B. & Moerdijk, I. (2012). Derived rules for predicative set theory: An application of sheaves. Annals of Pure and Applied Logic, 163 (10), (pp. 1367-1383) (17 p.).
  2011 - Scholarly publications
van den Berg, B. & Moerdijk, I. (2011). Aspects of predicative algebraic set theory II: Realizability. Theoretical Computer Science, 412 (20), (pp. 1916-1940) (25 p.).
Cisinski, D-C. & Moerdijk, I. (2011). Dendroidal sets as models for homotopy operads. Journal of Topology, 4 (2), (pp. 257-299) (43 p.).
Berger, C. & Moerdijk, I. (2011). On an extension of the notion of Reedy category. Mathematische Zeitschrift, 269 (3-4), (pp. 977-1004) (28 p.).
  2010 - Scholarly publications
Moerdijk, I. & Gutiérrez, J. J. (2010). Lectures on dendroidal sets / Notes written by Javier J. Gutiérrez. In Ieke Moerdijk & Bertrand Toën (Eds.), Simplicial methods for operads and algebraic geometry (pp. 1-39) (186 p.). Basel: Birkhäuser.
Casacuberta, C., Gutiérrez, J. J., Moerdijk, I. & Vogt, R. M. (2010). Localization of algebras over coloured operads. Proceedings of the London Mathematical Society, 101 (1), (pp. 105-136) (32 p.).
Moerdijk, I. & Mrcun, J. (2010). On the universal enveloping algebra of a lie algebroid. Proceedings of the American Mathematical Society, 138 (9), (pp. 3135-3145) (11 p.).
Moerdijk, I. & Toën, B. (2010). Simplicial Methods for Operads and Algebraic Geometry /. (186 p.). Basel: Springer.
  2009 - Scholarly publications
Moerdijk, I. & Weiss, I. (2009). On inner Kan complexes in the category of dendroidal sets. Advances in Mathematics, 221 (2), (pp. 343-389) (47 p.).
Berger, C. & Moerdijk, I. (2009). On the derived category of an algebra over an operad. Georgian Mathematical Journal, 16 (1), (pp. 13-28) (16 p.).
  2008 - Scholarly publications
Moerdijk, I. & van den Berg, B. (2008). Aspects of predicative algebraic sets theory I: Exact completion. Annals of Pure and Applied Logic, 156 (1), (pp. 123-159) (37 p.).
Moerdijk, I. & Crainic, M. (2008). Deformations of Lie brackets: cohomological aspects. Journal of the European Mathematical Society, 10, (pp. 1037-1059) (23 p.).
  2007 - Scholarly publications
Weiss, I. & Moerdijk, I. (2007). Dendroidal sets. Algebraic & Geometric Topology, 7, (pp. 1441-1470) (30 p.).
Moerdijk, I. & Mrcun, J. (2007). On the developability of Lie subalgebroids. Advances in Mathematics, 210 (1), (pp. 1-21) (21 p.).
Berger, C. & Moerdijk, I. (2007). Resolution of coloured operads and rectification of homotopy algebras. Contemporary mathematics, 431, (pp. 31-58) (28 p.).
  2006 - Scholarly publications
van den Berg, B. & Moerdijk, I. (27.07.2006). A unified approach to algebraic set theory. In Barry Cooper, Herman Geuvers, Anand Pillay & Jouko Väänänen (Eds.), Logic colloquium 2006 (pp. 18-37) (20 p.). Cambridge [etc.]: Cambridge University Press [etc.], Annual European Meeting of the Association for Symbolic Logic.
van der Laan, P.P.I. & Moerdijk, I. (2006). Families of Hopf algebras of trees and pre-Lie algebras. Homology, Homotopy and Applications, 8 (1), (pp. 243-256) (14 p.).
Moerdijk, I. & Mrcun, J. (2006). On the integrability of Lie subalgebroids. Advances in Mathematics, 204 (1), (pp. 101-115) (15 p.).
Berger, C. & Moerdijk, I. (2006). The Boardman-Vogt resolution of operads in monoidal model categories. Topology, 45 (5), (pp. 807-849) (43 p.).
  2005 - Scholarly publications
Moerdijk, I. & Mrcun, J. (2005). Lie groupoids, sheaves and cohomology. Poisson geometry, deformation quantisation and group representations (pp. 145-272) (128 p.). Cambridge: Cambridge University Press.
  2004 - Scholarly publications
Moerdijk, I. & Crainic, M. (2004). Cech-De Rham theory for leaf spaces of foliations. Mathematische Annalen, 328, (pp. 59-85) (27 p.).
  2003 - Scholarly publications
Berger, C. & Moerdijk, I. (2003). Axiomatic homotopy theory for operads. Commentarii Mathematici Helvetici, 78, (pp. 805-831) (27 p.).
Moerdijk, I. (2003). Lie groupoids, gerbes and non-abelian cohomology. K-Theory, 28, (pp. 207-258) (52 p.).
  2003 - Professional publications
Moerdijk, I. & Mrcun, J. (2003). Introduction to Foliations and Lie Groupoids. (173 p.). Cambridge: Cambridge University Press.
  2002 - Scholarly publications
Moerdijk, I. & Alberts, G. (2002). De geometer - Interview W.T. van Est. Nieuw archief voor wiskunde. Serie 5, 3 (1), (pp. 52-56) (5 p.).
Moerdijk, I. (2002). Models for the leaf space of a foliation. European Congress of Mathematics (pp. 481-489) (9 p.). Boston: Birkhäuser.
Moerdijk, I. (2002). Monads on tensor categories. Journal of Pure and Applied Algebra, 168 (2-3), (pp. 189-208) (20 p.).
Moerdijk, I. & Mrcun, J. (2002). On integrability of infinitesimal actions. American Journal of Mathematics, 124 (3), (pp. 567-593) (27 p.).
  2001 - Scholarly publications
Moerdijk, I. (2001). Étale groupoids, derived categories, and operations. In A. Ramsay (Eds.), Groupoids in analysis, geometry, and physics (pp. 101-114) (14 p.). Providence, RI: American Mathematical Society.
Crainic, M. & Moerdijk, I. (2001). Foliation groupoids and their cyclic homology. Advances in Mathematics, 157 (2), (pp. 177-197) (21 p.).
Moerdijk, I. (2001). On the Connes-Kreimer construction of Hopf algebras. In J. Greenlees (Eds.), Homotopy methods in algebraic topology (pp. 311-321) (11 p.). Providence, RI: American Mathematical Society.
  2000 - Scholarly publications
Moerdijk, I. & Crainic, M. (2000). A homology theory for étale groupoids. Journal fur die Reine und Angewandte Mathematik, 521, (pp. 25-46) (22 p.).
Moerdijk, I. & Vermeulen, J.J.C. (2000). Proper maps of Toposes. (108 p.). Rhode Island: American Mathematic Society.
Moerdijk, I. & Palmgren, E. (2000). Wellfounded trees in categories. Annals of Pure and Applied Logic, 104 (1-3), (pp. 189-218) (30 p.).
  1999 - Scholarly publications
Moerdijk, I. & Butz, C.H.E. (1999). A definability theorem for first order logic. Journal of Symbolic Logic, 64, (pp. 1028-1036) (8 p.).
Butz, C.H.E. & Moerdijk, I. (1999). An elementary definability theorem for first order logic. Journal of Symbolic Logic, 64 (3), (pp. 1028-1036) (9 p.).
Moerdijk, I. & Vermeulen, J.J.C. (1999). Proof of a conjecture of A. Pitts. Journal of Pure and Applied Algebra, 143 (1-3), (pp. 329-338) (10 p.).
Moerdijk, I. & Pronk, D.A. (1999). Simplicial cohomology of orbifolds. Indagationes Mathematicae, 10 (2), (pp. 269-293) (25 p.).
Moerdijk, I. & Butz, C.H.E. (1999). Topological representation of sheaf cohomology of sites. Compositio Mathematica, 118 (2), (pp. 217-233) (17 p.).
  1998 - Scholarly publications
Moerdijk, I. (1998). Classifying spaces for toposes with enough points. Rendiconti del Seminario Matematico e Fisico di Milano, 66, (pp. 377-389) (13 p.).
Moerdijk, I. (1998). Proof of a Conjecture of A. Haefliger. Topology, 37 (4), (pp. 735-741) (7 p.).
Butz, C.H.E. & Moerdijk, I. (1998). Representation of toposes by topological groupoids. Journal of Pure and Applied Algebra, 130 (3), (pp. 223-235) (13 p.).
Moerdijk, I. (1998). Sets, topoi and intuitionism. Perspectives on intuitionism. Philosophia Mathematica, 3 (6), (pp. 169-177) (9 p.).
  1997 - Scholarly publications
Moerdijk, I. (1997). An addendum to "path-lifting for Grothendieck toposes". Proceedings of the American Mathematical Society, 125 (9), (pp. 2815-2818) (4 p.).
Moerdijk, I. & Palmgren, E. (1997). Minimal models of Heyting arithmetic. Journal of Symbolic Logic, 62 (4), (pp. 1448-1460) (13 p.).
Moerdijk, I. & Bunge, M. (1997). On the construction of the Grothendieck fundamental group of a topos by paths. Journal of Pure and Applied Algebra, 116 (1-3), (pp. 99-113) (15 p.).
Moerdijk, I. (1997). On the weak homotopy type of étale groupoids. In C. Albert (Eds.), Integrable systems and foliotions (pp. 147-156) (10 p.). Boston, MA: Birkhäuser, Serie: Progressive Mathematics.
Moerdijk, I. & Pronk, D.A. (1997). Orbifolds, sheaves and groupoids. K-Theory, 12 (1), (pp. 3-21) (19 p.).
Butz, C.H.E. & Moerdijk, I. (1997). Représentation des topos par des espaces topologiques. Comptes Rendus de l'Academie des Sciences - Series I: Mathematics, 325 (5), (pp. 461-464) (4 p.).
  1996 - Scholarly publications
Moerdijk, I. & Kock, A.B. (1996). Spaces with local equivalence relations, and their monodromy. Topology and its Applications, 72 (1), (pp. 47-78) (32 p.).
MacLane, S. & Moerdijk, I. (1996). Topos Theory. In M. Hazewinkel (Eds.), Handbook of Algebra (pp. 501-528) (28 p.). Amsterdam: Elsevier North-Holland.
^ top
Gegenereerd op 2017-09-26 16:50:48
Gegenereerd op 2017-09-26 16:50:48
Additional functions and activities
  • Hoogleraar (deeltijd) Universiteit Sheffield 
  • Editor van diverse wetenschappelijke tijdschriften en boekenseries, zie http://www.math.uu.nl/people/moerdijk
Gegenereerd op 2017-09-26 16:50:48
Full name
prof. dr. I. Moerdijk Contact details
Hans Freudenthalgebouw

Budapestlaan 6
Room 704
3584 CD  UTRECHT
The Netherlands


Phone number (direct) +31 30 253 1291
Phone number (department) +31 30 253 1430
Hans Freudenthalgebouw

Budapestlaan 6
Room 614
3584 CD  UTRECHT
The Netherlands


Phone number (direct) +31 30 253 1526
Phone number (department) +31 30 253 1430

Mailing Address:

I. Moerdijk, Department of Mathematics, Utrecht University, PO BOX 80.010,   3508 TA Utrecht, The Netherlands

Gegenereerd op 2017-09-26 16:50:48
Last updated 23.01.2017