The following pages link to Ieke Moerdijk (Q169786):
Displaying 21 items.
- (Q2818561) (← links)
- ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES (Q2851203) (← links)
- The axiom of multiple choice and models for constructive set theory (Q2878782) (← links)
- (Q2889422) (← links)
- (Q2889440) (← links)
- (Q3007159) (← links)
- Dendroidal sets as models for homotopy operads (Q3010628) (← links)
- (Q3123627) (← links)
- (Q3142954) (← links)
- Aspects of predicative algebraic set theory III: sheaves (Q3143444) (← links)
- Sets, Models and Proofs (Q3177332) (← links)
- Toposes are Cohomologically Equivalent to Spaces (Q3197989) (← links)
- (Q3204651) (← links)
- (Q3315680) (← links)
- (Q3353231) (← links)
- (Q3356497) (← links)
- A homology theory for étale groupoids (Q4953848) (← links)
- Dendroidal Segal spaces and ∞-operads (Q5404123) (← links)
- Dendroidal sets and simplicial operads (Q5404124) (← links)
- Partition complexes and trees (Q5889250) (← links)
- Simplicial model structures on pro-categories (Q6091935) (← links)