The following pages link to Ieke Moerdijk (Q169786):
Displaying 50 items.
- Obituary: Daniël Marinus Kan (1927--2013). Simplicial sets and adjoint functors (Q2818561) (← links)
- On the homotopy theory of enriched categories (Q2851203) (← links)
- The axiom of multiple choice and models for constructive set theory (Q2878782) (← links)
- In memoriam Willem Titus van Est (1921--2002) (Q2889422) (← links)
- The geometer (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)
- The Classifying Topos of a Continuous Groupoid. I (Q3487618) (← links)
- (Q3490175) (← links)
- Localization of algebras over coloured operads (Q3577671) (← links)
- On the derived category of an algebra over an operad (Q3634665) (← links)
- (Q3646417) (← links)
- A Unified Approach to Algebraic Set Theory (Q3656421) (← links)
- (Q3659781) (← links)
- (Q3674653) (← links)
- (Q3679173) (← links)
- (Q3679877) (← links)
- De Rham's theorem in a smooth topos (Q3704617) (← links)
- Heine-Borel does not imply the Fan Theorem (Q3708799) (← links)
- On choice sequences determined by spreads (Q3714078) (← links)
- (Q3714079) (← links)
- (Q3714248) (← links)
- Connected Locally Connected Toposes are Path-Connected (Q3720768) (← links)
- (Q3761312) (← links)
- Forcing smooth square roots and integration (Q3764798) (← links)
- Morita equivalence for continuous groups (Q3792909) (← links)
- (Q3797788) (← links)
- (Q3808284) (← links)
- (Q3816230) (← links)
- (Q3816650) (← links)
- Local Maps of Toposes (Q3820775) (← links)
- Path-Lifting for Grothendieck Toposes (Q3824558) (← links)
- (Q3825227) (← links)
- Classifying spaces for toposes with enough points (Q3840721) (← links)
- (Q3947661) (← links)
- Equational classes of toposes (Q3969101) (← links)
- (Q3986545) (← links)
- (Q3997818) (← links)
- Reals and forcing with an elementary topos (Q4010364) (← links)
- (Q4205616) (← links)
- (Q4206922) (← links)
