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.