I. Moerdijk

发表

Review: A. G. Dragalin, Mathematical intuitionism. Introduction to proof theory

I. Moerdijk, 1990 .

Sheaves in geometry and logic: a first introduction to topos theory

I. Moerdijk, Saunders MacLane Galdós, 1992 .

Sheaves In Geometry And Logic

S. Lane, I. Moerdijk, 1992 .

Models for smooth infinitesimal analysis

I. Moerdijk, G. Reyes, 1990 .

On an extension of the notion of Reedy category

Ieke Moerdijk, Clemens Berger, I. Moerdijk, 2008, 0809.3341.

Algebraic set theory

Ieke Moerdijk, André Joyal, I. Moerdijk, 1995 .

Introduction to Foliations and Lie Groupoids: Prerequisites

Ieke Moerdijk, I. Moerdijk, Janez Mrcun, 2003 .

A Shapiro lemma for diagrams of spaces with applications to equivariant topology

I. Moerdijk, J. Svensson, 1995 .

A proof of a conjecture of A. Pitts

I. Moerdijk, J. Vermeulen, 1999 .

On the universal enveloping algebra of a Lie algebroid

I. Moerdijk, J. Mrčun, 2010 .

Minimal fibrations of dendroidal sets

I. Moerdijk, J. Nuiten, 2015, 1509.01073.

Orbifolds as groupoids: an introduction

I. Moerdijk, 2002, math/0203100.

Models for the Leaf Space of a Foliation

I. Moerdijk, 2001 .

Foliation Groupoids and Their Cyclic Homology

I. Moerdijk, M. Crainic, 2000, math/0003119.

A remark on sheaf theory for non-Hausdorff manifolds

I. Moerdijk, M. Crainic, 1999 .

Rham theory for leaf spaces of foliations ∗

I. Moerdijk, M. Crainic, 2022 .

Classifying toposes and foliations

I. Moerdijk, 1991 .

Proof of a Conjecture of A. Haeeiger

Utrecht, I. Moerdijk, 2022 .

Deformations of Lie brackets: cohomological aspects

I. Moerdijk, M. Crainic, 2004, math/0403434.

On the Derived Category of an Algebra Over an Operad

I. Moerdijk, C. Berger, 2008, 0801.2664.

On the Connes-Kreimer construction of Hopf algebras

I. Moerdijk, 1999, math-ph/9907010.

Proper Maps of Toposes

I. Moerdijk, J. Vermeulen, 2000 .

Simplicial model structures on pro-categories

I. Moerdijk, T. Blom, 2020, 2009.07539.

Coalgebraic Semantics for Quantum Computation

I. Moerdijk, Frank Roumen, 2012 .

Equational classes of toposes

I. Moerdijk, 1983 .

On the construction of the Grothendieck fundamental group of a topos by paths

I. Moerdijk, M. Bunge, 1997 .

An addendum to Path-lifting for Grothendieck toposes"" (vol 102, pg 241, 1988)

I. Moerdijk, 1997 .

Presentations of étendues

A. Kock, I. Moerdijk, 1991 .

Toposes and groupoids

I. Moerdijk, 1988 .

Smooth spaces versus continuous spaces in models for synthetic differential geometry

I. Moerdijk, G. Reyes, 1984 .

Reals and Forcing with an Elementary Topos

S. Lane, I. Moerdijk, 1992 .

The dendroidal category is a test category

I. Moerdijk, Denis-Charles Cisinski, Dimitri Ara, 2017, Mathematical Proceedings of the Cambridge Philosophical Society.

Univalent completion

I. Moerdijk, B. V. D. Berg, 2015, 1508.04021.

On inner Kan complexes in the category of dendroidal sets

I. Moerdijk, Ittay Weiss, 2007, math/0701295.

A SIMPLICIAL DESCRIPTION OF THE HOMOTOPY CATEGORY OF SIMPLICIAL GROUPOIDS

Jesús G. Miranda, I. Moerdijk, A. R. Garzón, 2000 .

Spaces with local equivalence relations, and their monodromy

A. Kock, I. Moerdijk, 1996 .

Glueing Topoi and Higher Order Disjunction and Existence

I. Moerdijk, 1982 .

On the enveloping algebra of a Lie-Rinehart algebra

I. Moerdijk, J. Mrčun, 2008 .

ON THE UNIVERSAL ENVELOPING ALGEBRA OF A LIE-RINEHART ALGEBRA

I. Moerdijk, J. Mrčun, 2008, 0801.3929.

Families of Hopf algebras of trees and pre-Lie algebras

I. Moerdijk, P. V. D. Laan, 2004, math/0402022.

Compositionality and the analysis of anaphora

Ieke Moerdijk, Fred Landman, I. Moerdijk, 1983 .

Shuffles of trees

Ieke Moerdijk, Eric Hoffbeck, I. Moerdijk, 2017, Eur. J. Comb..

RESOLUTION OF COLOURED OPERADS AND RECTIFICATION OF HOMOTOPY ALGEBRAS

I. Moerdijk, C. Berger, 2005, math/0512576.

Axiomatic homotopy theory for operads

Ieke Moerdijk, Clemens Berger, I. Moerdijk, 2002, math/0206094.

Infinitesimal Deformation Theory of Algebraic Structures

I. Moerdijk, M. Crainic, 2010 .

Monads on tensor categories

Ieke Moerdijk, I. Moerdijk, 2002 .

The renormalisation bialgebra and operads

I. Moerdijk, P. V. D. Laan, 2002, hep-th/0210226.

Dendroidal Segal spaces and ∞‐operads

Ieke Moerdijk, Denis-Charles Cisinski, I. Moerdijk, 2013 .

Dendroidal Sets

Ieke Moerdijk, Ittay Weiss, I. Moerdijk, 2007, math/0701293.

THE BOARDMAN-VOGT RESOLUTION OF OPERADS IN MONOIDAL MODEL CATEGORIES

I. Moerdijk, C. Berger, 2005, math/0502155.

A T ] 2 2 O ct 2 00 3 Axiomatic homotopy theory for operads

I. Moerdijk, C. Berger, 2003 .

A pr 2 00 3 Axiomatic homotopy theory for operads

I. Moerdijk, C. Berger, 2003 .

A T ] 1 0 Ju n 20 02 Axiomatic homotopy theory for operads

I. Moerdijk, C. Berger, 2022 .

An Alpine Bouquet of Algebraic Topology

K. Hess, I. Moerdijk, Christian Ausoni, 2018 .

On the homotopy theory of enriched categories

I. Moerdijk, C. Berger, 2012, 1201.2134.

Closed dendroidal sets and unital operads

I. Moerdijk, 2018, 1811.05926.

Dendroidal spaces, Γ-spaces and the special Barratt--Priddy--Quillen theorem

I. Moerdijk, Pedro Boavida de Brito, 2018 .

Dendroidal spaces, $\Gamma$-spaces and the special Barratt-Priddy-Quillen theorem

I. Moerdijk, Pedro Boavida de Brito, 2017, 1701.06459.

On the equivalence between Lurie's model and the dendroidal model for infinity-operads

Ieke Moerdijk, Vladimir Hinich, Gijs Heuts, 2013, 1305.3658.

Dendroidal sets and simplicial operads

Ieke Moerdijk, Denis-Charles Cisinski, I. Moerdijk, 2011, 1109.1004.

Orbifolds, sheaves and groupoids

Ieke Moerdijk, Dorette Pronk, I. Moerdijk, 1997 .

An extension of Quillen’s Theorem B

I. Moerdijk, J. Nuiten, 2018, Algebraic & Geometric Topology.

Lie groupoids, gerbes, and non-Abelian cohomology

I. Moerdijk, 2003 .

Introduction to the Language of Stacks and Gerbes

Ieke Moerdijk, I. Moerdijk, 2002, math/0212266.

On the classification of Regular Lie groupoids

I. Moerdijk, 2002 .

D G ] 1 1 M ar 2 00 2 On the classification of Regular Lie groupoids

I. Moerdijk, 2002 .

Profinite $\infty$-operads

Ieke Moerdijk, Thomas Blom, I. Moerdijk, 2021, 2107.10092.

Algebraic classification of equivariant homotopy 2-types, I

Ieke Moerdijk, I. Moerdijk, Jan Alve Svensson, 1993 .

Dendroidal sets as models for homotopy operads

I. Moerdijk, Denis-Charles Cisinski, 2009, 0902.1954.

Left fibrations and homotopy colimits

I. Moerdijk, Gijs Heuts, 2014, Mathematische Zeitschrift.

Left fibrations and homotopy colimits

I. Moerdijk, Gijs Heuts, 2013, 1308.0704.

Bisimplicial Sets and the Group-Completion Theorem

I. Moerdijk, 1989 .

The equivariant Serre spectral sequence

I. Moerdijk, J. Svensson, 1993 .

Local Maps of Toposes

Ieke Moerdijk, Peter T. Johnstone, I. Moerdijk, 1989 .

Left fibrations and homotopy colimits II

I. Moerdijk, Gijs Heuts, 2016, 1602.01274.

Note on the tensor product of dendroidal sets

I. Moerdijk, Denis-Charles Cisinski, 2014, 1403.6507.

Dendroidal Segal spaces and infinity-operads

I. Moerdijk, Denis-Charles Cisinski, 2010, 1010.4956.

Simplicial Methods for Operads and Algebraic Geometry

I. Moerdijk, B. Toën, 2010 .

MARIUS CRAINIC AND IEKE MOERDIJK In the extreme case where the Lie algebroid

I. Moerdijk, 2008 .

Čech-De Rham theory for leaf spaces of foliations

I. Moerdijk, M. Crainic, 2000, math/0012069.

A homology theory for étale groupoids

I. Moerdijk, M. Crainic, 1999, math/9905011.

Proof of a conjecture of A. Haefliger

I. Moerdijk, 1998 .

Classifying Spaces and Classifying Topoi

Ieke Moerdijk, I. Moerdijk, 1995 .

Simplicial cohomology of orbifolds

I. Moerdijk, The Netherlands, Canada, 1997, q-alg/9708021.

A small catalogue of En-operads

I. Moerdijk, Andr'e Beuckelmann, 2022, 2212.03842.

On the additivity of the little cubes operads

I. Moerdijk, M. Barata, 2022, 2205.12875.

Localization of algebras over coloured operads

Javier J. Gutiérrez, I. Moerdijk, C. Casacuberta, 2008, 0806.3983.

Lie groupoids, sheaves and cohomology

I. Moerdijk, J. Mrčun, 2005 .

On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads

I. Moerdijk, V. Hinich, 2022, 2206.14033.

Compatibility of Homotopy Colimits and Homotopy Pullbacks of Simplicial Presheaves

I. Moerdijk, B. D. Smit, M. Garuti, 2015 .

Two Sheaf Representations of Elementary Toposes.

Ieke Moerdijk, Joachim Lambek, J. Lambek, 1982 .

Derived rules for predicative set theory: An application of sheaves

Ieke Moerdijk, Benno van den Berg, I. Moerdijk, 2010, Ann. Pure Appl. Log..

A Completeness Theorem for Open Maps

Ieke Moerdijk, André Joyal, I. Moerdijk, 1994, Ann. Pure Appl. Log..

Connected locally connected toposes are path-connected

I. Moerdijk, G. C. Wraith, I. Moerdijk, 1986 .

Rings of smooth funcions and their localizations

I. Moerdijk, G. Reyes, 1986 .

Sheaves of Sets

S. Lane, I. Moerdijk, 1994 .

On integrability of infinitesimal actions

I. Moerdijk, J. Mrčun, 2000, math/0006042.

at the Radboud Repository of the Radboud University Nijmegen

I. Moerdijk, T. Slanger, P. Cosby, 2017 .

Aspects of predicative algebraic set theory, II: Realizability

Ieke Moerdijk, Benno van den Berg, I. Moerdijk, 2008, Theor. Comput. Sci..

Aspects of Predicative Algebraic Set Theory II: Realizability

I. Moerdijk, B. V. D. Berg, 2008, 0801.2305.

A unified approach to algebraic set theory

Ieke Moerdijk, Benno van den Berg, I. Moerdijk, 2007, 0710.3066.

Aspects of Predicative Algebraic Set Theory II : Realizability

I. Moerdijk, B. V. D. Berg, 2008 .

Some topological spaces which are universal for intuitionistic predicate logic

I. Moerdijk, I. Moerdijk, 1982 .

J un 2 00 0 On integrability of infinitesimal actions

I. Moerdijk, J. Mrčun, 2008 .

Simplicial model structures on pro-categories

I. Moerdijk, T. Blom, 2020, Algebraic & Geometric Topology.

Topological Representation of Sheaf Cohomology of Sites

Ieke Moerdijk, Carsten Butz, I. Moerdijk, 1999, Compositio Mathematica.

Representing topoi by topological groupoids

Ieke Moerdijk, Carsten Butz, I. Moerdijk, 1998 .

Every étendue comes from a local equivalence relation

A. Kock, I. Moerdijk, 1992 .

The classifying topos of a continuous groupoid. I

IEKE MOERDIJK, I. Moerdijk, 1988 .

On the Freyd cover of a topos

Ieke Moerdijk, I. Moerdijk, 1983, Notre Dame J. Formal Log..

A Homology Theory Forétale Groupoids *

I. Moerdijk, 1999 .

On the Weak Homotopy Type of Étale Groupoids

I. Moerdijk, 1997 .

Orbifolds , Sheaves and Groupoids Dedicated to the memory of

I. Moerdijk, D. Pronk, 1997 .

Continuous fibrations and inverse limits of toposes

Ieke Moerdijk, I. Moerdijk, 1986 .

On the Geometric Realization of Dendroidal Sets

I. Moerdijk, Fabio Trova, 2009 .

Exact completion of path categories and algebraic set theory

Ieke Moerdijk, Benno van den Berg, I. Moerdijk, 2016, Journal of Pure and Applied Algebra.

W-types in homotopy type theory

I. Moerdijk, B. V. D. Berg, 2013, Mathematical Structures in Computer Science.

The axiom of multiple choice and models for constructive set theory

Ieke Moerdijk, Benno van den Berg, I. Moerdijk, 2012, J. Math. Log..

Aspects of predicative algebraic set theory III: sheaves

I. Moerdijk, Benno van den Berg, 2009, 0912.1242.

Aspects of predicative algebraic set theory I: Exact completion

I. Moerdijk, B. V. D. Berg, 2007, Ann. Pure Appl. Log..

Aspects of Predicative Algebraic Set Theory I: Exact Completion

Ieke Moerdijk, Benno van den Berg, I. Moerdijk, 2007, 0710.3077.

Type theories, toposes and constructive set theory: predicative aspects of AST

Erik Palmgren, Ieke Moerdijk, I. Moerdijk, 2002, Ann. Pure Appl. Log..

Aspects of Predicative Algebraic Set Theory III : Sheaves

I. Moerdijk, B. V. D. Berg, 2009 .

Prodiscrete groups and Galois toposes

Ieke Moerdijk, I. Moerdijk, 1989 .

Morita equivalence for continuous groups

I. Moerdijk, 1988, Mathematical Proceedings of the Cambridge Philosophical Society.

An elementary proof of the descent theorem for Grothendieck toposes

Ieke Moerdijk, I. Moerdijk, 1985 .

A smooth version of the Zariski topos

Ieke Moerdijk, Gonzalo E. Reyes, I. Moerdijk, 1987 .

De Rham's theorem in a smooth topos

I. Moerdijk, G. Reyes, 1984, Mathematical Proceedings of the Cambridge Philosophical Society.

On choice sequences determined by spreads

Ieke Moerdijk, Gerrit van Der Hoeven, I. Moerdijk, 1984, Journal of Symbolic Logic.

Sheaf models for choice sequences

Ieke Moerdijk, Gerrit van Der Hoeven, I. Moerdijk, 1984, Ann. Pure Appl. Log..

Sets, Topoi and Intuitionism

I. Moerdijk, 1998 .

Minimal models of Heyting arithmetic

Erik Palmgren, Ieke Moerdijk, I. Moerdijk, 1997, Journal of Symbolic Logic.