Ieke Moerdijk

Q: What Schools Are Affiliated With Ieke Moerdijk

Ieke Moerdijk is affiliated with the following schools: University of Amsterdam, Utrecht University, Radboud University Nijmegen

Ieke Moerdijk's AcademicInfluence.com Rankings

Ieke Moerdijk

Mathematics

#836

World Rank

#1489

Historical Rank

Algebraic Topology

#27

World Rank

#34

Historical Rank

Measure Theory

#1705

World Rank

#2096

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Ieke Moerdijk's Degrees

PhD Mathematics University of Amsterdam

Why Is Ieke Moerdijk Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Izak Moerdijk is a Dutch mathematician, currently working at Utrecht University, who in 2012 won the Spinoza prize. Education and career Moerdijk studied mathematics, philosophy and general linguistics at the University of Amsterdam. He obtained his PhD cum laude in 1985 at the same institution. His thesis was entitled Topics in intuitionism and topos theory and was written under the supervision of Anne Sjerp Troelstra.

(See a Problem?)

Ieke Moerdijk's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Sheaves in geometry and logic: a first introduction to topos theory (1992) (1324)
Sheaves In Geometry And Logic (1992) (1012)
Introduction to Foliations and Lie Groupoids (2003) (602)
Axiomatic homotopy theory for operads (2002) (352)
Models for smooth infinitesimal analysis (1990) (333)
Orbifolds as groupoids: an introduction (2002) (237)
RESOLUTION OF COLOURED OPERADS AND RECTIFICATION OF HOMOTOPY ALGEBRAS (2005) (181)
Algebraic set theory (1995) (151)
Dendroidal Sets (2007) (140)
Wellfounded trees in categories (2000) (139)
Orbifolds, sheaves and groupoids (1997) (138)
Monads on tensor categories (2002) (126)
Dendroidal sets and simplicial operads (2011) (118)
THE BOARDMAN-VOGT RESOLUTION OF OPERADS IN MONOIDAL MODEL CATEGORIES (2005) (116)
On an extension of the notion of Reedy category (2008) (111)
Dendroidal sets as models for homotopy operads (2009) (103)
The classifying topos of a continuous groupoid. I (1988) (98)
A homology theory for étale groupoids (1999) (95)
Dendroidal Segal spaces and ∞‐operads (2013) (90)
A Completeness Theorem for Open Maps (1994) (85)
Type theories, toposes and constructive set theory: predicative aspects of AST (2002) (81)
Algebraic classification of equivariant homotopy 2-types, I (1993) (81)
On integrability of infinitesimal actions (2000) (79)
Deformations of Lie brackets: cohomological aspects (2004) (77)
Simplicial cohomology of orbifolds (1997) (74)
On inner Kan complexes in the category of dendroidal sets (2007) (74)
Classifying toposes and foliations (1991) (72)
Foliation Groupoids and Their Cyclic Homology (2000) (69)
Introduction to the Language of Stacks and Gerbes (2002) (69)
On the Connes-Kreimer construction of Hopf algebras (1999) (66)
Classifying Spaces and Classifying Topoi (1995) (62)
The equivariant Serre spectral sequence (1993) (59)
On the homotopy theory of enriched categories (2012) (58)
Čech-De Rham theory for leaf spaces of foliations (2000) (54)
A Model for Intuitionistic Non-Standard Arithmetic (1995) (53)
On the equivalence between Lurie's model and the dendroidal model for infinity-operads (2013) (49)
Simplicial Methods for Operads and Algebraic Geometry (2010) (45)
On the universal enveloping algebra of a Lie algebroid (2010) (43)
Bisimplicial Sets and the Group-Completion Theorem (1989) (42)
Local Maps of Toposes (1989) (41)
On the Derived Category of an Algebra Over an Operad (2008) (40)
Representing topoi by topological groupoids (1998) (39)
Lie groupoids, sheaves and cohomology (2005) (36)
Continuous fibrations and inverse limits of toposes (1986) (34)
Proof of a conjecture of A. Haefliger (1998) (32)
Presentations of étendues (1991) (31)
Left fibrations and homotopy colimits (2013) (30)
Rings of smooth funcions and their localizations (1986) (30)
Lie groupoids, gerbes, and non-Abelian cohomology (2003) (28)
Minimal models of Heyting arithmetic (1997) (28)
On the integrability of Lie subalgebroids (2006) (27)
Localization of algebras over coloured operads (2008) (26)
Proper Maps of Toposes (2000) (26)
Review: A. G. Dragalin, Mathematical intuitionism. Introduction to proof theory (1990) (25)
Prodiscrete groups and Galois toposes (1989) (25)
Connected locally connected toposes are path-connected (1986) (24)
Toposes and groupoids (1988) (24)
Sheaf models for choice sequences (1984) (23)
Dendroidal Segal spaces and infinity-operads (2010) (22)
Aspects of predicative algebraic set theory I: Exact completion (2007) (21)
The axiom of multiple choice and models for constructive set theory (2012) (20)
A Shapiro lemma for diagrams of spaces with applications to equivariant topology (1995) (20)
Aspects of predicative algebraic set theory, II: Realizability (2008) (20)
An Alpine Bouquet of Algebraic Topology (2018) (20)
A unified approach to algebraic set theory (2007) (19)
A remark on the theory of semi-functors (1995) (18)
Topological Representation of Sheaf Cohomology of Sites (1999) (18)
Exact completion of path categories and algebraic set theory (2016) (17)
W-types in homotopy type theory (2013) (17)
On the Weak Homotopy Type of Étale Groupoids (1997) (16)
On the construction of the Grothendieck fundamental group of a topos by paths (1997) (16)
Foliations, groupoids and Grothendieck étendues (1993) (15)
Aspects of predicative algebraic set theory III: sheaves (2009) (14)
A Homology Theory Forétale Groupoids * (1999) (14)
TOPOSES ARE COHOMOLOGICALLY EQUIVALENT TO SPACES (1990) (14)
On the classification of Regular Lie groupoids (2002) (13)
Toposes as Homotopy Groupoids (1990) (13)
Derived rules for predicative set theory: An application of sheaves (2010) (12)
Smooth spaces versus continuous spaces in models for synthetic differential geometry (1984) (12)
Two Sheaf Representations of Elementary Toposes. (1982) (12)
Every étendue comes from a local equivalence relation (1992) (11)
A categorical theory of cumulative hierarchies of sets (1991) (11)
Compositionality and the analysis of anaphora (1983) (11)
Minimal fibrations of dendroidal sets (2015) (10)
Some topological spaces which are universal for intuitionistic predicate logic (1982) (10)
On choice sequences determined by spreads (1984) (10)
An elementary proof of the descent theorem for Grothendieck toposes (1985) (9)
Smooth Infinitesimal Analysis (1991) (9)
Morita equivalence for continuous groups (1988) (9)
ON THE UNIVERSAL ENVELOPING ALGEBRA OF A LIE-RINEHART ALGEBRA (2008) (9)
Etale groupoids, derived categories, and operations (2001) (9)
Spaces with local equivalence relations, and their monodromy (1996) (8)
Dendroidal spaces, Γ-spaces and the special Barratt--Priddy--Quillen theorem (2018) (8)
Families of Hopf algebras of trees and pre-Lie algebras (2004) (8)
A smooth version of the Zariski topos (1987) (8)
A proof of a conjecture of A. Pitts (1999) (8)
Heine-Borel does not imply the Fan Theorem (1984) (7)
The renormalisation bialgebra and operads (2002) (7)
Models for the Leaf Space of a Foliation (2001) (7)
Glueing Topoi and Higher Order Disjunction and Existence (1982) (7)
The dendroidal category is a test category (2017) (7)
An elementary definability theorem for first order logic (1999) (6)
Cohomology Theories In Synthetic Differential Geometry (1986) (6)
Left fibrations and homotopy colimits II (2016) (6)
Note on the tensor product of dendroidal sets (2014) (6)
Notes on Homological Algebra (2008) (6)
Category theory and its applications (2000) (5)
On the Classification of Regular Groupoids (2002) (5)
Simplicial model structures on pro-categories (2020) (4)
A definability theorem for first order logic (1997) (4)
Simplicial and Dendroidal Homotopy Theory (2022) (4)
De Rham's theorem in a smooth topos (1984) (4)
Univalent completion (2015) (4)
W-types in sheaves (2008) (3)
Proof of a Conjecture of A. Haeeiger (3)
Shuffles of trees (2017) (3)
Introduction to Foliations and Lie Groupoids: Foliations (2003) (3)
On the Freyd cover of a topos (1983) (3)
On the Integrability of Subalgebroids (2004) (3)
A remark on sheaf theory for non-Hausdorff manifolds (1999) (3)
A SIMPLICIAL DESCRIPTION OF THE HOMOTOPY CATEGORY OF SIMPLICIAL GROUPOIDS (2000) (3)
Partition complexes and trees (2021) (3)
On the Geometric Realization of Dendroidal Sets (2009) (2)
Classifying spaces for toposes with enough points (1996) (2)
Tensor product of dendroidal sets (2010) (2)
Dendroidal spaces, $\Gamma$-spaces and the special Barratt-Priddy-Quillen theorem (2017) (2)
Rham theory for leaf spaces of foliations ∗ (2)
A T ] 2 2 O ct 2 00 3 Axiomatic homotopy theory for operads (2003) (2)
Simplicial commutative algebras (2010) (2)
On the enveloping algebra of a Lie-Rinehart algebra (2008) (2)
Path-lifting for Grothendieck toposes (1988) (2)
On the Developability of Subalgebroids (2004) (2)
Closed dendroidal sets and unital operads (2018) (2)
An addendum to Path-lifting for Grothendieck toposes"" (vol 102, pg 241, 1988) (1997) (1)
Sets, Topoi and Intuitionism (1998) (1)
On the developability of Lie subalgebroids (2007) (1)
The bitensor algebra through operads (2003) (1)
COMPOSITIONAL SEMANTICS AND MORPHOLOGICAL FEATURES (1983) (1)
Sets, Models and Proofs (2018) (1)
Homology of infinity-operads (2021) (1)
Compatibility of Homotopy Colimits and Homotopy Pullbacks of Simplicial Presheaves (2015) (1)
Coalgebraic Semantics for Quantum Computation (2012) (1)
Relative compactness conditions for topos (1997) (1)
Algebraic Set Theory: Zermelo-Fraenkel Algebras (1995) (1)
Infinitesimal Deformation Theory of Algebraic Structures (2010) (1)
Sheaves of Sets (1994) (1)
Simplicial presheaves as stacks (2010) (1)
Forcing smooth square roots and integration (1987) (1)
Ja n 20 14 W-TYPES IN HOMOTOPY TYPE THEORY (2019) (0)
AN OTE ON DISCRETE CONDUCH ´ E FIBRATIONS (1999) (0)
Examples of derived algebraic stacks (2010) (0)
A pr 2 00 3 Axiomatic homotopy theory for operads (2003) (0)
Left fibrations and homotopy colimits (2014) (0)
Topoi and Logic (1994) (0)
Reals and Forcing with an Elementary Topos (1992) (0)
Introduction to Foliations and Lie Groupoids: Lie algebroids (2003) (0)
Algebraic Set Theory: Examples (1995) (0)
On The Relation Between Connection And Sprays. (1986) (0)
On the Embedding of Manifolds into the Smooth Zariski Topos (2020) (0)
Algebraic Set Theory: Existence Theorems (1995) (0)
Inner Kan complexes and normal dendroidal sets (2010) (0)
MARIUS CRAINIC AND IEKE MOERDIJK In the extreme case where the Lie algebroid (2008) (0)
Cohomology and Integration (1991) (0)
Orbifolds , Sheaves and Groupoids Dedicated to the memory of (1997) (0)
Algebraic Set Theory: Introduction (1995) (0)
Symmetries and deformations in geometry (2004) (0)
C ∞-Rings as Variable Spaces (1991) (0)
Homotopy Group Theory in Infinity Categories (2012) (0)
Review: Jonathan Chapman, Frederick Rowbottom, Relative Category Theory and Geometric Morphisms. A Logical Approach (1995) (0)
Introduction to Foliations and Lie Groupoids: Molino's theory (2003) (0)
On an independence result in the theory of lawless sequences (1983) (0)
Categories of Functors (1994) (0)
Some remarks on extending bar induction (1983) (0)
Axiomatic Theory of Small Maps (1995) (0)
Nijmegen, The Netherlands July 27–August 2, 2006 (2007) (0)
Symmetrieën en deformaties in de geometrie (2004) (0)
Category theory and its applications - Preface (2000) (0)
Derived stacks and derived algebraic stacks (2010) (0)
Equational classes of toposes (1983) (0)
J un 2 00 0 On integrability of infinitesimal actions (2008) (0)
Introduction to Foliations and Lie Groupoids: Two classical theorems (2003) (0)
Algebraic Set Theory: Preface (1995) (0)
An Elementary Deenability Theorem for Rst Order Logic (0)
On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads (2022) (0)
W-types in homotopy-type theory – CORRIGENDUM (2016) (0)
Constructing choice sequences from lawless sequences of neighbourhood functions (1984) (0)
A small catalogue of En-operads (2022) (0)
Geometric Logic and Classifying Topoi (1994) (0)
Algebraic Set Theory: Heyting pretopoi (1995) (0)
A Reedy model structure on dendroidal spaces (2010) (0)
A T ] 1 0 Ju n 20 02 Axiomatic homotopy theory for operads (0)
Algebraic Set Theory: Descent (1995) (0)
Introduction to Foliations and Lie Groupoids: Prerequisites (2003) (0)
Holonomy and stability (2003) (0)
Univalent completion (2017) (0)
Profinite $\infty$-operads (2021) (0)
Connections on Microlinear Spaces (1991) (0)
Model structures on dendroidal sets (2010) (0)
Grothendieck Topologies and Sheaves (1992) (0)
References and further reading (2003) (0)
Groupoids, quantization and noncommutatieve geometry (2002) (0)
On integrability of in nitesimal a tions (2007) (0)
Representation of topoi by topological spaces (1997) (0)
Two Archimedean Models for Synthetic Calculus (1991) (0)
Categorical logic and proof theory: realizability for constructive theories (2003) (0)
Algebraic Set Theory: Monads and algebras with successor (1995) (0)
On the additivity of the little cubes operads (2022) (0)
Abrahamson, KA, Downey, RG and Fellows, MR (1995) (0)
Quality and Renewal 2007 : An overall evaluation of research at Uppsala University. Mathematics, Scientific computing, Image Analysis (panel 12) (2007) (0)
An extension of Quillen’s Theorem B (2018) (0)
Motivation and objectives (2010) (0)
Boardman–Vogt resolution and homotopy coherent nerve (2010) (0)
Basic Constructions of Topoi (1994) (0)
D G ] 1 1 M ar 2 00 2 On the classification of Regular Lie groupoids (2002) (0)
Trees as operads (2010) (0)
First Properties of Elementary Topoi (1992) (0)
Models with Invertible Infinitesimals (1991) (0)

This paper list is powered by the following services:

Other Resources About Ieke Moerdijk

What Schools Are Affiliated With Ieke Moerdijk?

Ieke Moerdijk is affiliated with the following schools:

Ieke Moerdijk's Academic­Influence.com Rankings

Ieke Moerdijk's Degrees

Why Is Ieke Moerdijk Influential?

Ieke Moerdijk's Published Works

Published Works

Other Resources About Ieke Moerdijk

What Schools Are Affiliated With Ieke Moerdijk?

Image Attributions

Ieke Moerdijk's AcademicInfluence.com Rankings