Sheaves in geometry and logic: A first introduction to topos theory S MacLane, I Moerdijk Springer Science & Business Media, 2012 | 2450 | 2012 |

Introduction to foliations and Lie groupoids I Moerdijk, J Mrcun Cambridge university press, 2003 | 698 | 2003 |

Models for smooth infinitesimal analysis I Moerdijk, GE Reyes Springer Science & Business Media, 2013 | 431 | 2013 |

Axiomatic homotopy theory for operads C Berger, I Moerdijk Commentarii Mathematici Helvetici 78 (4), 805-831, 2003 | 380 | 2003 |

Orbifolds as groupoids: an introduction I Moerdijk arXiv preprint math/0203100, 2002 | 295 | 2002 |

Sheaves in geometry and logic. Universitext S Mac Lane, I Moerdijk Springer-Verlag, New York, 1994 | 253 | 1994 |

Orbifolds, sheaves and groupoids I Moerdijk, DA Pronk K-theory 12 (1), 3-22, 1997 | 212 | 1997 |

Algebraic set theory A Joyal, I Moerdijk, I Moerdijk Cambridge University Press, 1995 | 209 | 1995 |

Resolution of coloured operads and rectification of homotopy algebras C Berger, I Moerdijk Contemporary Mathematics 431, 31-58, 2007 | 158 | 2007 |

Wellfounded trees in categories I Moerdijk, E Palmgren Annals of Pure and Applied Logic 104 (1-3), 189-218, 2000 | 141 | 2000 |

Dendroidal sets I Moerdijk, I Weiss Algebraic & Geometric Topology 7 (3), 1441-1470, 2007 | 135 | 2007 |

Monads on tensor categories I Moerdijk Journal of Pure and Applied Algebra 168 (2-3), 189-208, 2002 | 121 | 2002 |

The Boardman–Vogt resolution of operads in monoidal model categories C Berger, I Moerdijk Topology 45 (5), 807-849, 2006 | 119 | 2006 |

The classifying topos of a continuous groupoid. I I Moerdijk Transactions of the American Mathematical Society 310 (2), 629-668, 1988 | 100 | 1988 |

Dendroidal sets as models for homotopy operads DC Cisinski, I Moerdijk Journal of topology 4 (2), 257-299, 2011 | 99 | 2011 |

Algebraic classification of equivariant homotopy 2-types, I I Moerdijk, JA Svensson Journal of pure and applied algebra 89 (1-2), 187-216, 1993 | 97 | 1993 |

Type theories, toposes and constructive set theory: predicative aspects of AST I Moerdijk, E Palmgren Annals of Pure and Applied Logic 114 (1-3), 155-201, 2002 | 96 | 2002 |

A homology theory for étale groupoids M Crainic, I Moerdijk Walter de Gruyter GmbH & Co. KG 2000 (521), 25-46, 2000 | 96 | 2000 |

A completeness theorem for open maps A Joyal, I Moerdijk Annals of Pure and Applied Logic 70 (1), 51-86, 1994 | 94 | 1994 |

On integrability of infinitesimal actions I Moerdijk, J Mrčun American Journal of Mathematics 124 (3), 567-593, 2002 | 89 | 2002 |