Ieke Moerdijk

E218015
Dutch mathematician human mathematician mathematics book

Ieke Moerdijk is a Dutch mathematician known for his work in category theory, topos theory, and logic, and for coauthoring influential texts in these areas with Saunders Mac Lane.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (1)

Label Occurrences
Ieke Moerdijk canonical 4

Statements (46)

Predicate Object
instanceOf Dutch mathematician ⓘ
human ⓘ
mathematician ⓘ
mathematics book ⓘ
almaMater University of Amsterdam ⓘ
author Ieke Moerdijk self-linksurface differs ⓘ
Saunders Mac Lane ⓘ
awardReceived Spinoza Prize ⓘ
citizenship Netherlands ⓘ
coauthor Saunders Mac Lane ⓘ
coauthorOf Sheaves in Geometry and Logic ⓘ
coauthorWith Saunders Mac Lane ⓘ
countryOfBirth Netherlands ⓘ
doctoralAdvisor André Joyal ⓘ
employer Radboud University Nijmegen ⓘ
familyName Moerdijk NERFINISHED ⓘ
fieldOfWork algebraic set theory ⓘ
category theory ⓘ
homotopy type theory ⓘ
mathematical logic ⓘ
mathematics ⓘ
topos theory ⓘ
givenName Ieke ⓘ
hasGender male ⓘ
knownFor coauthoring influential texts with Saunders Mac Lane ⓘ
work in category theory ⓘ
work in logic ⓘ
work in topos theory ⓘ
languageOfWorkOrName Dutch ⓘ
English ⓘ
memberOf Royal Netherlands Academy of Arts and Sciences ⓘ
name Ieke Moerdijk self-link ⓘ
nationality Netherlands ⓘ
notableIdea algebraic set theory framework for constructive set theory ⓘ
notableWork Algebraic Set Theory ⓘ
Classifying Spaces and Fibrations ⓘ
Introduction to Foliations and Lie Groupoids ⓘ
Sheaves in Geometry and Logic ⓘ
occupation research mathematician ⓘ
university professor ⓘ
researchInterest foundations of mathematics ⓘ
higher category theory ⓘ
homotopy theory ⓘ
supervisedStudent Benno van den Berg ⓘ
Jaap van Oosten ⓘ
Peter LeFanu Lumsdaine ⓘ

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

Saunders Mac Lane → coAuthor → Ieke Moerdijk ⓘ
Sheaves in Geometry and Logic → author → Ieke Moerdijk ⓘ
Ieke Moerdijk → name → Ieke Moerdijk self-link ⓘ
Ieke Moerdijk → author → Ieke Moerdijk self-linksurface differs ⓘ
subject surface form: Sheaves in Geometry and Logic