Izak Moerdijk

Professor Izak Moerdijk is a faculty member at the University of Sheffield, affiliated with the School of Mathematical and Physical Sciences and the Department of Mathematics and Statistics. His research spans Algebraic Topology, Category Theory, and Homotopy Theory, with significant contributions to Operads, Lie Groupoids, and Topos Theory.

Key research areas include:

• Homotopy-theoretic foundations of dendroidal and simplicial structures
• Applications of topos theory to foliations and Lie groupoids
• Constructive set theory and predicative algebraic frameworks
• Non-standard arithmetic and intuitionistic logic

His recent publications (2015–2024) focus on ∞-operads, profinite completions, and homotopy colimits, often in collaboration with researchers like G. Heuts, T. Blom, and V. Hinich. Notable works include studies on Shuffles of Trees and W-types in Homotopy Type Theory. Detailed education, advising, grants, or lab information is not explicitly stated in the provided materials.