Ieke Moerdijk

Publications

Simplicial Model Structures on Pro-Categories. Thomas Blom, Ieke Moerdijk. 2022.
On the Additivity of the Little Cubes Operads. Miguel Barata, Ieke Moerdijk. 2022.
On the Equivalence of the Lurie's ∞-Operads and Dendroidal ∞-Operads. Vladimir Hinich, Ieke Moerdijk. 2022.
Profinite ∞-Operads. Thomas Blom, Ieke Moerdijk. 2021.
Partition Complexes and Trees. Gijs Heuts, Ieke Moerdijk. 2021.
The Dendroidal Category Is a Test Category. Dimitri Ara, Denis-Charles Cisinski, Ieke Moerdijk. 2018.
An Extension of Quillen's Theorem B. Ieke Moerdijk, Joost Nuiten. 2018.
Closed Dendroidal Sets and Unital Operads. Ieke Moerdijk. 2018.
Exact Completion of Path Categories and Algebraic Set Theory -- Part I: Exact Completion of Path Categories. Benno van den Berg, Ieke Moerdijk. 2017.
Shuffles of Trees. Eric Hoffbeck, Ieke Moerdijk. 2017.
Left Fibrations and Homotopy Colimits II. Gijs Heuts, Ieke Moerdijk. 2016.
W-Types in Homotopy Type Theory. Benno van den Berg, Ieke Moerdijk. 2015.
Univalent Completion. Benno van den Berg, Ieke Moerdijk. 2015.
Minimal Fibrations of Dendroidal Sets. Ieke Moerdijk, Joost Nuiten. 2015.
Dendroidal Sets as Models for Homotopy Operads. Denis-Charles Cisinski, Ieke Moerdijk. 2014.
Note on the Tensor Product of Dendroidal Sets. Denis-Charles Cisinski, Ieke Moerdijk. 2014.
The Axiom of Multiple Choice and Models for Constructive Set Theory. Benno van den Berg, Ieke Moerdijk. 2013.