Izak (Ieke) Moerdijk (Dutch: [ˈikə ˈmurdɛik]; born 23 January 1958) is a Dutch mathematician, currently working at Utrecht University, who in 2012 won...
9 KB (832 words) - 10:14, 1 September 2024
African architect Ieke Moerdijk (born 1958), Dutch mathematician This disambiguation page lists articles associated with the title Moerdijk. If an internal...
328 bytes (65 words) - 15:00, 2 March 2020
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...
10 KB (1,535 words) - 07:34, 27 August 2024
) {\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...
15 KB (2,492 words) - 11:25, 31 July 2024
of Moerdijk’s (1995) model for constructive nonstandard arithmetic. Constructive analysis Smooth infinitesimal analysis John Lane Bell Ieke Moerdijk, A...
2 KB (160 words) - 09:17, 17 March 2024
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...
7 KB (686 words) - 12:08, 22 August 2024
(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...
77 KB (8,340 words) - 18:04, 9 September 2024
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...
8 KB (1,047 words) - 11:48, 3 May 2021
– Heino Falcke, Patti Valkenburg, Erik Verlinde 2012 – Mike Jetten, Ieke Moerdijk, Annemarie Mol, Alexander Tielens 2013 – Mikhail Katsnelson, Piek Vossen...
5 KB (435 words) - 07:03, 21 June 2024
in their terminology). Scott topology at the nLab Saunders MacLane, Ieke Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory...
13 KB (1,918 words) - 04:08, 9 June 2024
John Lane Bell, Invitation to Smooth Infinitesimal Analysis (PDF file) Ieke Moerdijk and Reyes, G.E., Models for Smooth Infinitesimal Analysis, Springer-Verlag...
5 KB (615 words) - 07:13, 23 May 2024
(2005), Theo Rasing (2008), Heino Falcke (2011), Mike Jetten (2012), Ieke Moerdijk (2012), Mikhail Katsnelson (2013), Wilhelm Huck (2016) and Klaas Landsman...
34 KB (3,751 words) - 18:27, 2 September 2024
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"...
17 KB (1,619 words) - 15:29, 8 September 2024
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...
11 KB (1,310 words) - 19:13, 19 April 2024
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...
2 KB (278 words) - 12:03, 25 February 2023
professor biomacromolecular crystallography at Utrecht University, Ieke Moerdijk is a Dutch mathematician, currently working at Utrecht University, Bert...
19 KB (2,243 words) - 11:24, 9 September 2024
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...
11 KB (1,067 words) - 06:52, 6 January 2024
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...
5 KB (438 words) - 00:18, 10 June 2024
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...
20 KB (2,425 words) - 19:17, 9 September 2024
these are called outer edges, and the root is one of the outer edges. Moerdijk, Ieke; Weiss, Ittay (2007), "Dendroidal sets", Algebraic & Geometric Topology...
1 KB (127 words) - 13:09, 26 October 2021
Royal Netherlands Academy of Arts and Science. Retrieved 3 May 2020. "Ieke Moerdijk", Royal Netherlands Academy of Arts and Science. Retrieved 3 May 2020...
44 KB (2,550 words) - 01:01, 7 April 2023
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)...
42 KB (7,376 words) - 13:13, 29 June 2024
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...
4 KB (591 words) - 06:17, 4 June 2024
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...
87 KB (273 words) - 03:07, 23 August 2024
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...
7 KB (1,148 words) - 17:06, 4 September 2024
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...
4 KB (537 words) - 20:01, 26 April 2024
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...
3 KB (386 words) - 13:54, 4 September 2024
transformations. Opmonoidal monads have been studied under various names. Ieke Moerdijk introduced them as "Hopf monads", while in works of Bruguières and Virelizier...
7 KB (1,116 words) - 21:14, 27 July 2024
Foliations. American Mathematical Society. p. 93. ISBN 0-8218-0809-5. Moerdijk, Ieke; Mrčun, J. (2003). Introduction to Foliations and Lie Groupoids. Cambridge...
2 KB (165 words) - 00:14, 27 February 2023
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...
4 KB (391 words) - 15:57, 3 February 2024