Moerdijk, Ieke.
Moerdijk, Ieke, 1958-....
Moerdijk, Ieke (Izak), 1958-
Moerdijk, Izak
Ieke Moerdijk Nederlands wiskundige, hoogleraar aan de Radboud Universiteit Nijmegen
VIAF ID: 66538506 ( Personal )
Permalink: http://viaf.org/viaf/66538506
Preferred Forms
- 100 0 _ ‡a Ieke Moerdijk ‡c Nederlands wiskundige, hoogleraar aan de Radboud Universiteit Nijmegen
- 200 _ | ‡a Moerdijk ‡b Ieke
-
- 100 1 _ ‡a Moerdijk, Ieke
-
-
- 100 1 0 ‡a Moerdijk, Ieke
-
-
-
- 100 1 _ ‡a Moerdijk, Ieke ‡d 1958-
- 100 1 _ ‡a Moerdijk, Ieke ‡d 1958-
-
-
- 100 1 _ ‡a Moerdijk, Ieke, ‡d 1958-....
-
-
- 100 1 _ ‡a Moerdijk, Izak
4xx's: Alternate Name Forms (29)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Algebraic set theory, 1995: | |
An Alpine bouquet of algebraic topology : Alpine Algebraic and Applied Topology Conference, August 15-21, 2016, Saas-Almagell, Switzerland | |
Bol van wiskunde | |
Categorical type theory | |
Classifying spaces and classifying topoi | |
The classifying topos of a continuous groupoid | |
Cohomology theories in synthetic differential geometry | |
Connected locally connected toposes are path-connected | |
Constructing choice sequences from lawless sequences of neighbourhood functions | |
Continuous fibrations and inverse limits of toposes | |
An elementary proof of the descent theorem for Grothendieck toposes | |
Forcing smooth square roots and integration | |
Introduction to foliations and Lie groupoids, 2003: | |
Models for smooth infinitesimal analysis | |
Morita equivalence for continuous groups | |
Morphological features and conditions on rules in Montague grammar | |
On choice sequences determined by spreads | |
On the construction of the Grothendieck fundamental group of a topos by paths | |
On the relation between connections and sprays | |
Presentations of etendues | |
Prodiscrete groups | |
Proper maps of toposes | |
Remarks on the theory of semi-functors | |
Représentations des groupes finis et 2-faisceaux. | |
De Rham's theorem in a smooth topos | |
Rings of smooth functions and their localizations | |
Ruimte voor de logica | |
Sets, Models and Proofs | |
Sheaves in geometry and logic : a first introduction to topos theory | |
Simplicial and dendroidal homotopy theory | |
Simplicial methods for operads and algebraic geometry | |
A smooth version of the Zariski topos | |
Spaces with local equivalence relations, and their monodromy | |
The tangent functor category revisited | |
Théorie de l'intégration des algèbres de Lie à homotopie près absolues courbées | |
Théories homotopiques des algèbres unitaires et des opérades |