ºù«Ӱҵ

All publications

Books

• Heuts G & Moerdijk I (2022) . Springer International Publishing.
• Moerdijk I & van Oosten J (2018) . Springer International Publishing.
• Moerdijk I & Toën B (2010) . Springer Basel.
• Moerdijk I & Mrcun J (2003) . Cambridge University Press.

Journal articles

• Hinich V & Moerdijk I (2024) . Journal of Topology, 17(4).
• Blom T & Moerdijk I (2023) . Algebraic & Geometric Topology, 23(8), 3849-3908.
• Blom T & Moerdijk I (2022) . Advances in Mathematics, 408, 108601-108601.
• Moerdijk I (2021) CLOSED DENDROIDAL SETS AND UNITAL OPERADS To Bob Rosebrugh, in gratitude for all his work for the journal. THEORY AND APPLICATIONS OF CATEGORIES, 36, 118-170.
• Moerdijk I & Nuiten J (2020) . Algebraic & Geometric Topology, 20(4), 1769-1794.
• Hoffbeck E & Moerdijk I (2018) . European Journal of Combinatorics, 71, 55-72.
• Boavida de Brito P & Moerdijk I (2018) . Journal für die reine und angewandte Mathematik (Crelles Journal).
• Ara D, Cisinski DC & Moerdijk I (2018) . Mathematical Proceedings of the Cambridge Philosophical Society.
• Van den Berg B & Moerdijk I (2018) . Mathematical Structures in Computer Science, 28(1), 140-140.
• van den Berg B & Moerdijk I (2017) . Journal of Pure and Applied Algebra.
• van Den Berg B & Moerdijk I (2017) . Mathematische Annalen.
• Moerdijk I & Nuiten J (2016) . Algebraic & Geometric Topology, 16(6), 3581-3614.
• Barwick C, Hopkins M, Miller H & Moerdijk I (2015) . Notices of the American Mathematical Society, 62(09), 1042-1042.
• Heuts G & Moerdijk I (2015) . Mathematische Zeitschrift, 279(3-4), 723-744.
• van den Berg B & Moerdijk I (2012) . Annals of Pure and Applied Logic, 163(10), 1367-1383.
• Van Den Berg B & Moerdijk I (2011) . Theoretical Computer Science, 412(20), 1916-1940.
• Moerdijk I & Mrcun J (2010) ON THE UNIVERSAL ENVELOPING ALGEBRA OF A LIE ALGEBROID. P AM MATH SOC, 138(9), 3135-3145.
• Moerdijk I & Weiss I (2009) . ADV MATH, 221(2), 343-389.
• Berger C & Moerdijk I (2009) ON THE DERIVED CATEGORY OF AN ALGEBRA OVER AN OPERAD. GEORGIAN MATH J, 16(1), 13-28.
• Crainic M & Moerdijk I (2008) Deformations of Lie brackets: cohomological aspects. J EUR MATH SOC, 10(4), 1037-1059.
• Moerdijk I & Mrcun J (2007) . ADV MATH, 210(1), 1-21.
• Moerdijk I & Weiss I (2007) . ALGEBR GEOM TOPOL, 7, 1441-1470.
• Berger C & Moerdijk I (2006) . TOPOLOGY, 45(5), 807-849.
• Moerdijk I & Mrcun J (2006) . ADV MATH, 204(1), 101-115.
• Van der Laan P & Moerdijk I (2006) Families of Hopf algebras of trees and pre-Lie algebras. HOMOL HOMOTOPY APPL, 8(1), 243-256.
• Crainic M & Moerdijk I (2004) . MATH ANN, 328(1-2), 59-85.
• Berger C & Moerdijk I (2003) . COMMENT MATH HELV, 78(4), 805-831.
• Moerdijk I & Mrcun J (2002) On integrability of infinitesimal actions. AM J MATH, 124(3), 567-593.
• Crainic M & Moerdijk I (2001) . ADV MATH, 157(2), 177-197.
• Moerdijk I & Vermeulen JJC (2001) Proper maps of toposes. Memoirs of the American Mathematical Society(711), 1-107.
• Barr M, Moerdijk I & Tierney M (2000) Category theory and its applications - Preface. J PURE APPL ALGEBRA, 154(1-3), 1-1.
• Moerdijk I & Vermeulen JJC (2000) Proper maps of toposes. MEM AM MATH SOC, 148(705), 1-+.
• Crainic M & Moerdijk I (2000) A homology theory for etale groupoids. J REINE ANGEW MATH, 521, 25-46.
• Moerdijk I & Vermeulen JJC (2000) . Memoirs of the American Mathematical Society, 148(705).
• Butz C & Moerdijk I (1999) An elementary definability theorem for first order logic. J SYMBOLIC LOGIC, 64(3), 1028-1036.
• Butz C & Moerdijk I (1999) Topological representation of sheaf cohomology of sites. COMPOS MATH, 118(2), 217-233.
• Moerdijk I & Pronk DA (1999) Simplicial cohomology of orbifolds. INDAGAT MATH NEW SER, 10(2), 269-293.
• Butz C & Moerdijk I (1998) Representing topoi by topological groupoids. J PURE APPL ALGEBRA, 130(3), 223-235.
• Moerdijk I (1998) Proof of a conjecture of A. Haefliger. TOPOLOGY, 37(4), 735-741.
• Moerdijk I (1998) . Philosophia Mathematica, 6(2), 169-177.
• Moerdijk I & Palmgren E (1997) Minimal models of Heyting arithmetic. J SYMBOLIC LOGIC, 62(4), 1448-1460.
• Butz C & Moerdijk I (1997) Representation of topoi by topological spaces. CR ACAD SCI I-MATH, 325(5), 461-464.
• Moerdijk I (1997) Path-lifting for Grothendieck toposes (vol 102, pg 241, 1988). P AM MATH SOC, 125(9), 2815-2818.
• Moerdijk I & Pronk DA (1997) Orbifolds, sheaves and groupoids. K-THEORY, 12(1), 3-21.
• Bunge M & Moerdijk I (1997) On the construction of the Grothendieck fundamental group of a topos by paths. J PURE APPL ALGEBRA, 116(1-3), 99-113.
• Kock A & Moerdijk I (1996) Spaces with local equivalence relations, and their monodromy. TOPOL APPL, 72(1), 47-78.
• Moerdijk I (1996) . Rendiconti del Seminario Matematico e Fisico di Milano, 66(1), 377-389.
• MacLane S & Moerdijk I (1996) , 1, 501-528.
• Moerdijk I (1995) . Journal of Symbolic Logic, 60(2), 694-695.
• MOERDIJK I (1995) A MODEL FOR INTUITIONISTIC NONSTANDARD ARITHMETIC. ANN PURE APPL LOGIC, 73(1), 37-51.
• MOERDIJK I & SVENSSON JA (1995) A SHAPIRO LEMMA FOR DIAGRAMS OF SPACES WITH APPLICATIONS TO EQUIVARIANT TOPOLOGY. COMPOS MATH, 96(3), 249-282.
• Hoofman R & Moerdijk I (1995) A Remark on the Theory of Semi-Functors.. Math. Struct. Comput. Sci., 5, 1-8.
• JOYAL A & MOERDIJK I (1994) A COMPLETENESS THEOREM FOR OPEN MAPS. ANN PURE APPL LOGIC, 70(1), 51-86.
• MOERDIJK I & SVENSSON JA (1993) ALGEBRAIC CLASSIFICATION OF EQUIVARIANT HOMOTOPY 2-TYPES .1.. J PURE APPL ALGEBRA, 89(1-2), 187-216.
• MOERDIJK I (1993) CLASSIFYING-SPACES, CLASSIFYING TOPOI AND AUGMENTED ORDERS. CR ACAD SCI I-MATH, 317(3), 293-298.
• MOERDIJK I & SVENSSON JA (1993) THE EQUIVARIANT SERRE SPECTRAL SEQUENCE. P AM MATH SOC, 118(1), 263-278.
• Moerdijk I & Svensson J-A (1993) . Proceedings of the American Mathematical Society, 118(1), 263-263.
• KOCK A & MOERDIJK I (1992) EVERY ETENDUE COMES FROM A LOCAL EQUIVALENCE RELATION. J PURE APPL ALGEBRA, 82(2), 155-174.
• MOERDIJK I (1991) CLASSIFYING TOPOSES AND FOLIATIONS. ANN I FOURIER, 41(1), 189-209.
• Moerdijk I (1990) . Bulletin of the American Mathematical Society, 22(2), 301-305.
• JOYAL A & MOERDIJK I (1990) TOPOSES AS HOMOTOPY GROUPOIDS. ADV MATH, 80(1), 22-38.
• JOYAL A & MOERDIJK I (1990) TOPOSES ARE COHOMOLOGICALLY EQUIVALENT TO SPACES. AM J MATH, 112(1), 87-95.
• MOERDIJK I (1989) PRODISCRETE GROUPS AND GALOIS TOPOSES. P K NED AKAD A MATH, 92(2), 219-234.
• JOHNSTONE PT & MOERDIJK I (1989) LOCAL-MAPS OF TOPOSES. P LOND MATH SOC, 58, 281-305.
• MOERDIJK I (1988) THE CLASSIFYING TOPOS OF A CONTINUOUS GROUPOID .1.. T AM MATH SOC, 310(2), 629-668.
• MOERDIJK I (1988) PATH-LIFTING FOR GROTHENDIECK TOPOSES. P AM MATH SOC, 102(2), 242-248.
• MOERDIJK I (1988) TOPOSES AND GROUPOIDS. LECT NOTES MATH, 1348, 280-298.
• MOERDIJK I (1988) MORITA EQUIVALENCE FOR CONTINUOUS-GROUPS. MATH PROC CAMBRIDGE, 103, 97-115.
• MOERDIJK I & REYES GE (1987) A SMOOTH VERSION OF THE ZARISKI TOPOS. ADV MATH, 65(3), 229-253.
• MOERDIJK I, VANQUE N & REYES GE (1987) FORCING SMOOTH SQUARE ROOTS AND INTEGRATION. FUND MATH, 128(3), 145-158.
• MOERDIJK I & WRAITH GC (1986) CONNECTED LOCALLY CONNECTED TOPOSES ARE PATH-CONNECTED. T AM MATH SOC, 295(2), 849-859.
• MOERDIJK I & REYES GE (1986) RINGS OF SMOOTH FUNCTIONS AND THEIR LOCALIZATIONS .1.. J ALGEBRA, 99(2), 324-336.
• Moerdijk I & Wraith GC (1986) . Transactions of the American Mathematical Society, 295(2), 849-849.
• MOERDIJK I (1986) CONTINUOUS FIBRATIONS AND INVERSE LIMITS OF TOPOSES. COMPOS MATH, 58(1), 45-72.
• Moerdijk I (1985) . Journal of Pure and Applied Algebra, 37(C), 185-191.
• MOERDIJK I (1984) SPACED SPACES. COMPOS MATH, 53(2), 171-209.
• VANDERHOEVEN GF & MOERDIJK I (1984) CONSTRUCTING CHOICE SEQUENCES FROM LAWLESS SEQUENCES OF NEIGHBORHOOD FUNCTIONS. LECT NOTES MATH, 1103, 207-234.
• VANDERHOEVEN G & MOERDIJK I (1984) SHEAF MODELS FOR CHOICE SEQUENCES. ANN PURE APPL LOGIC, 27(1), 63-107.
• MOERDIJK I & REYES GE (1984) DERHAM THEOREM IN A SMOOTH TOPOS. MATH PROC CAMBRIDGE, 96(JUL), 61-71.
• MOERDIJK I & REYES GE (1984) SMOOTH SPACES VERSUS CONTINUOUS SPACES IN MODELS FOR SYNTHETIC DIFFERENTIAL GEOMETRY. J PURE APPL ALGEBRA, 32(2), 143-176.
• VANDERHOEVEN G & MOERDIJK I (1984) ON CHOICE SEQUENCES DETERMINED BY SPREADS. J SYMBOLIC LOGIC, 49(3), 908-916.
• MOERDIJK I (1984) HEINE-BOREL DOES NOT IMPLY THE FAN THEOREM. J SYMBOLIC LOGIC, 49(2), 514-519.
• Moerdijk I (1983) . Notre Dame Journal of Formal Logic, 24(4), 517-526.
• Grayson RJ & Moerdijk I (1983) Some remarks on extending bar induction. Indagationes Mathematicae, 45(3), 315-318.
• LANDMAN F & MOERDIJK I (1983) COMPOSITIONAL SEMANTICS AND MORPHOLOGICAL FEATURES. THEOR LINGUIST, 10(2-3), 205-225.
• LANDMAN F & MOERDIJK I (1983) COMPOSITIONALITY AND THE ANALYSIS OF ANAPHORA. LINGUIST PHILOS, 6(1), 89-114.
• GRAYSON RJ & MOERDIJK I (1983) SOME REMARKS ON EXTENDING BAR INDUCTION. P K NED AKAD A MATH, 86(3), 315-318.
• MOERDIJK I (1983) EQUATIONAL CLASSES OF TOPOSES. COMMUN ALGEBRA, 11(8), 839-842.
• Lambek J & Moerdijk I (1982) . Studies in Logic and the Foundations of Mathematics, 110(C), 275-295.
• Moerdijk I (1982) . Studies in Logic and the Foundations of Mathematics, 110(C), 359-375.
• MOERDIJK I (1982) SOME TOPOLOGICAL-SPACES WHICH ARE UNIVERSAL FOR INTUITIONISTIC PREDICATE LOGIC. P K NED AKAD A MATH, 85(2), 227-235.
• Hoffbeck E & Moerdijk I () . Annales de l'Institut Fourier, 1-37.
• Heuts G & Moerdijk I () . Proceedings of the American Mathematical Society.
• Heuts G, Hinich V & Moerdijk I () On the equivalence between Lurie's model and the dendroidal model for infinity-operads.
• Berg BVD & Moerdijk I () W-types in Homotopy Type Theory.
• Berg BVD & Moerdijk I () The Axiom of Multiple Choice and Models for Constructive Set Theory.
• Berger C & Moerdijk I () . Quart. J. Math. 64 (2013), 805-846.
• Cisinski D-C & Moerdijk I () .
• Cisinski D-C & Moerdijk I () Dendroidal Segal spaces and infinity-operads.
• Berg BVD & Moerdijk I () Derived rules for predicative set theory: an application of sheaves.
• Berg BVD & Moerdijk I () .
• Cisinski D-C & Moerdijk I () . Journal of Topology 4 (2011), no. 2, 257-299.
• Berger C & Moerdijk I () . Math. Z. 269 (2011), 977-1004.
• Casacuberta C, Gutierrez JJ, Moerdijk I & Vogt RM () . Proceedings of the London Mathematical Society, 101(1), 105-136.
• Berg BVD & Moerdijk I () Aspects of Predicative Algebraic Set Theory II: Realizability.
• Berg BVD & Moerdijk I () Aspects of Predicative Algebraic Set Theory I: Exact Completion.
• Moerdijk I () . Transactions of the American Mathematical Society, 310(2), 629-668.
• Moerdijk I () Closed dendroidal sets and unital operads.

Chapters

• Moerdijk I (2023) , Lecture Notes in Mathematics (pp. 209-214). Springer International Publishing
• Moerdijk I (2001) , European Congress of Mathematics (pp. 481-489). Birkhäuser Basel
• Moerdijk I (2001) (pp. 101-114). American Mathematical Society
• Carlson JF, Cohn PM, Deveney JK, Egorychev GP, Fesenko IB, Generalov AI, Girko VL, Hebisch U, Jarden M, Jardine JF , Keller B et al (1996) , Handbook of Algebra (pp. xix-xix). Elsevier

Conference proceedings papers

• Berger C & Moerdijk I (2007) Resolution of coloured operads and rectification of homotopy algebras. Categories in Algebra, Geometry and Mathematical Physics, Vol. 431 (pp 31-58)
• Moerdijk I & Mrcun J (2005) Lie groupoids, sheaves and cohomology. Poisson Geometry, Deformation Quantisation and Group Representations, Vol. 323 (pp 145-+)
• Moerdijk I (2003) Lie groupoids, gerbes, and non-Abelian cohomology. K-THEORY, Vol. 28(3) (pp 207-258)
• Moerdijk I & Palmgren E (2002) Type theories, toposes and constructive set theory: predicative aspects of AST. ANNALS OF PURE AND APPLIED LOGIC, Vol. 114(1-3) (pp 155-201)
• Moerdijk I (2002) Monads on tensor categories. JOURNAL OF PURE AND APPLIED ALGEBRA, Vol. 168(2-3) (pp 189-208)
• Moerdijk I & Palmgren E (2000) Wellfounded trees in categories. ANNALS OF PURE AND APPLIED LOGIC, Vol. 104(1-3) (pp 189-218)
• Moerdijk I & Vermeulen JJC (1999) Proof of a conjecture of A. Pitts. JOURNAL OF PURE AND APPLIED ALGEBRA, Vol. 143(1-3) (pp 329-338)
• Moerdijk I (1997) On the weak homotopy type of Etale groupoids. INTEGRABLE SYSTEMS AND FOLIATIONS, Vol. 145 (pp 147-156)
• Berg BVD & Moerdijk I () A Unified Approach to Algebraic Set Theory

Website content

• Moerdijk I Home Page.

Working papers

• Berg BVD & Moerdijk I () W-types in sheaves.
• Moerdijk I & Mrcun J () On the universal enveloping algebra of a Lie-Rinehart algebra. published as: On the universal enveloping algebra of a Lie algebroid. Proc. Amer. Math. Soc., 138, 3135-3145.
• Moerdijk I () Introduction to the language of stacks and gerbes.
• Laan PVD & Moerdijk I () The renormalisation bialgebra and operads.
• Moerdijk I () Orbifolds as Groupoids: an Introduction.
• Moerdijk I () On the Classification of Regular Groupoids.
• Moerdijk I () On the Connes-Kreimer construction of Hopf Algebras.
• Butz C & Moerdijk I () A definability theorem for first order logic.

Preprints

• Blom T & Moerdijk I (2023) , arXiv.
• Hinich V & Moerdijk I (2022) , arXiv.
• Barata M & Moerdijk I (2022) , arXiv.
• Heuts G & Moerdijk I () Left fibrations and homotopy colimits.
• Cisinski D-C & Moerdijk I () Note on the tensor product of dendroidal sets.