Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ieke Moerdijk
Map detail
Ieke Moerdijk13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipIeke MoerdijkAIeke MoerdijkResearcherAn extension of Quillen's Theorem BWAn extension of Quillen...preprint / 2018On inner Kan complexes in the category of dendroidal setsWOn inner Kan complexes ...preprint / 2007Dendroidal SetsWDendroidal Setspreprint / 2007Minimal fibrations of dendroidal setsWMinimal fibrations of d...preprint / 2015Derived rules for predicative set theory: an application of sheavesWDerived rules for predi...preprint / 2011Dendroidal Segal spaces and infinity-operadsWDendroidal Segal spaces...preprint / 2013The Axiom of Multiple Choice and Models for Constructive Set TheoryWThe Axiom of Multiple C...preprint / 2013Dendroidal sets and simplicial operadsWDendroidal sets and sim...preprint / 2011Aspects of Predicative Algebraic Set Theory III: SheavesWAspects of Predicative ...preprint / 2011Dendroidal sets as models for homotopy operadsWDendroidal sets as mode...preprint / 2014Note on the tensor product of dendroidal setsWNote on the tensor prod...preprint / 2014Univalent completionWUnivalent completionpreprint / 2015
Person12 links

Ieke Moerdijk

Researcher