Izak (Ieke) Moerdijk (Dutch: [ˈikə ˈmurdɛik]; born 23 January 1958) is a Dutch mathematician, currently working at Utrecht University, who in 2012 won...

African architect Ieke Moerdijk (born 1958), Dutch mathematician This disambiguation page lists articles associated with the title Moerdijk. If an internal...

1007/978-3-319-71350-2. ISBN 978-3-319-71349-6. Saunders Mac Lane, Ieke Moerdijk, (1992): Sheaves in Geometry and Logic Springer-Verlag ISBN 0-387-97710-4...

) {\displaystyle P(x)} in the equivalences below Saunders Mac Lane, Ieke Moerdijk, (1992) Sheaves in Geometry and Logic Springer-Verlag. ISBN 0-387-97710-4...

of Moerdijk’s (1995) model for constructive nonstandard arithmetic. Constructive analysis Smooth infinitesimal analysis John Lane Bell Ieke Moerdijk, A...

equivalence of spaces. He co-authored the book "Algebraic Set Theory" with Ieke Moerdijk and recently started a web-based expositional project Joyal's CatLab...

(PDF) on 3 October 2003. Grothendieck 1986, p. 22. Saunders Mac Lane; Ieke Moerdijk (1992). Sheaves in Geometry and Logic: a First Introduction to Topos...

Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001. Mac Lane, Saunders; Ieke Moerdijk (1992). Sheaves in Geometry and Logic: a First Introduction to Topos...

– Heino Falcke, Patti Valkenburg, Erik Verlinde 2012 – Mike Jetten, Ieke Moerdijk, Annemarie Mol, Alexander Tielens 2013 – Mikhail Katsnelson, Piek Vossen...

in their terminology). Scott topology at the nLab Saunders MacLane, Ieke Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory...

John Lane Bell, Invitation to Smooth Infinitesimal Analysis (PDF file) Ieke Moerdijk and Reyes, G.E., Models for Smooth Infinitesimal Analysis, Springer-Verlag...

(2005), Theo Rasing (2008), Heino Falcke (2011), Mike Jetten (2012), Ieke Moerdijk (2012), Mikhail Katsnelson (2013), Wilhelm Huck (2016) and Klaas Landsman...

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (with Ieke Moerdijk). ISBN 0-387-97710-4 1995. "Mathematics at Gottingen under the Nazis"...

ISBN 0-387-94374-9 ISBN 3-540-94374-9. Sets, Models and Proofs by Ieke Moerdijk and Jaap van Oosten, see Definition 3.1 and Exercise 56 on pp. 68–69...

the image of the family is also small. Category of sets S. Mac Lane, Ieke Moerdijk, Sheaves in geometry and logic: a first introduction to topos theory...

professor biomacromolecular crystallography at Utrecht University, Ieke Moerdijk is a Dutch mathematician, currently working at Utrecht University, Bert...

his Ph.D. in 2000 from Utrecht University under the supervision of Ieke Moerdijk. His Ph.D. thesis is titled "Cyclic cohomology and characteristic classes...

for Sheaves on Orbifolds, was jointly promoted by Dirk van Dalen and Ieke Moerdijk. She took a faculty position at Dalhousie University in 2000, after...

Mathematics. van Nostrand Company. Zbl 0087.04403. Mac Lane, Saunders; Moerdijk, Ieke (1992), Sheaves in Geometry and Logic, Springer-Verlag, ISBN 0-387-97710-4...

these are called outer edges, and the root is one of the outer edges. Moerdijk, Ieke; Weiss, Ittay (2007), "Dendroidal sets", Algebraic & Geometric Topology...

Royal Netherlands Academy of Arts and Science. Retrieved 3 May 2020. "Ieke Moerdijk", Royal Netherlands Academy of Arts and Science. Retrieved 3 May 2020...

arXiv:math/0008064. doi:10.1007/s00014-001-0766-9. ISSN 0010-2571. S2CID 6392715. Moerdijk, Ieke; Mrcun, Janez (2002). "On integrability of infinitesimal actions" (PDF)...

Logic Guides 43 & 44, 3rd volume in preparation) Maclane, Saunders Mac; Moerdijk, Ieke (1992), Sheaves in Geometry and Logic, Springer: Berlin, doi:10.1007/978-1-4612-0927-0...

Joyal-Ieke Moerdijk AST, Algebraic set theory: Also sometimes called categorical set theory. It was developed from 1988 by André Joyal and Ieke Moerdijk, and...

ISBN 978-3-540-27950-1. Lurie, J. Higher Topos Theory. Mac Lane, Saunders; Moerdijk, Ieke (1992). Sheaves in Geometry and Logic. Springer. ISBN 0-387-97710-4...

Sheaves in geometry and logic : a first introduction to topos theory. Ieke Moerdijk. New York: Springer-Verlag. p. 104. ISBN 0-387-97710-4. OCLC 24428855...

pp. 352–378. doi:10.1007/3-540-56992-8_21. ISBN 978-3-540-56992-3. Moerdijk, Ieke (1983). "On the Freyd cover of a topos". Notre Dame Journal of Formal...

transformations. Opmonoidal monads have been studied under various names. Ieke Moerdijk introduced them as "Hopf monads", while in works of Bruguières and Virelizier...

Foliations. American Mathematical Society. p. 93. ISBN 0-8218-0809-5. Moerdijk, Ieke; Mrčun, J. (2003). Introduction to Foliations and Lie Groupoids. Cambridge...

archived from the original (PDF) on 2018-03-17 Mac Lane, Saunders; Moerdijk, Ieke (2012) [1994], Sheaves in geometry and logic. A first introduction to...