The following pages link to Ieke Moerdijk (Q169786):
Displaying 50 items.
- On the equivalence between Lurie's model and the dendroidal model for infinity-operads (Q317340) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Simplicial methods for operads and algebraic geometry. Edited by Carles Casacuberta and Joachim Kock (Q609452) (← links)
- On an extension of the notion of Reedy category (Q658322) (← links)
- On the construction of the Grothendieck fundamental group of a topos by paths (Q678834) (← links)
- Algebraic classification of equivariant homotopy 2-types. I (Q687589) (← links)
- (Q698636) (redirect page) (← links)
- Simplicial cohomology of orbifolds (Q698638) (← links)
- Minimal fibrations of dendroidal sets (Q728327) (← links)
- An extension of Quillen's theorem B (Q784247) (← links)
- Smooth spaces versus continuous spaces in models for synthetic differential geometry (Q790924) (← links)
- Sheaf models for choice sequences (Q798316) (← links)
- Classifying toposes and foliations (Q803599) (← links)
- On the developability of Lie subalgebroids (Q869835) (← links)
- Deformations of Lie brackets: Cohomological aspects (Q952514) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- On inner Kan complexes in the category of dendroidal sets (Q1016475) (← links)
- Rings of smooth functions and their localizations. I (Q1075422) (← links)
- A smooth version of the Zariski topos (Q1105021) (← links)
- On the Freyd cover of a topos (Q1165240) (← links)
- Sheaves in geometry and logic: a first introduction to topos theory (Q1189567) (← links)
- Every étendue comes from a local equivalence relation (Q1208192) (← links)
- Representing topoi by topological groupoids (Q1295576) (← links)
- A completeness theorem for open maps (Q1338199) (← links)
- Orbifolds, sheaves and groupoids (Q1366293) (← links)
- Proof of a conjecture of A. Haefliger (Q1382167) (← links)
- Lie groupoids, gerbes, and non-abelian cohomology (Q1417760) (← links)
- Axiomatic homotopy theory for operads (Q1422177) (← links)
- Čech-De Rham theory for leaf spaces of foliations (Q1423608) (← links)
- Wellfounded trees in categories (Q1577483) (← links)
- Univalent completion (Q1659918) (← links)
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
- Shuffles of trees (Q1750210) (← links)
- Toposes as homotopy groupoids (Q1813668) (← links)
- Proof of a conjecture of A. Pitts (Q1818641) (← links)
- A model for intuitionistic non-standard arithmetic (Q1891250) (← links)
- Classifying spaces and classifying topoi (Q1901820) (← links)
- Spaces with local equivalence relations, and their monodromy (Q1924663) (← links)
- An elementary proof of the descent theorem for Grothendieck toposes (Q2266115) (← links)
- Dendroidal spaces, \(\Gamma\)-spaces and the special Barratt-Priddy-Quillen theorem (Q2303073) (← links)
- Left fibrations and homotopy colimits (Q2339667) (← links)
- Dendroidal sets (Q2464800) (← links)
- On the integrability of Lie subalgebroids (Q2496713) (← links)
- The Boardman-Vogt resolution of operads in monoidal model categories (Q2503374) (← links)
- Families of Hopf algebras of trees and pre-Lie algebras. (Q2577047) (← links)
- Profinite \(\infty\)-operads (Q2675117) (← links)
- (Q2752879) (← links)
- (Q2785085) (← links)
- Daniel M. Kan (1927—2013) (Q2813137) (← links)
