The following pages link to Ieke Moerdijk (Q169786):
Displaying 39 items.
- Sets, Topoi and Intuitionism (Q4224765) (← links)
- (Q4267500) (← links)
- The Equivariant Serre Spectral Sequence (Q4277351) (← links)
- (Q4299041) (← links)
- Représentation de topos par des espaces topologiques (Q4367667) (← links)
- An addendum to “Path-lifting for Grothendieck toposes" (Q4372348) (← links)
- Minimal models of Heyting arithmetic (Q4382484) (← links)
- (Q4408051) (← links)
- (Q4409414) (← links)
- (Q4417968) (← links)
- Proper maps of toposes (Q4516344) (← links)
- On integrability of infinitesimal actions (Q4551027) (← links)
- W-types in homotopy-type theory – CORRIGENDUM (Q4599614) (← links)
- (Q4749837) (← links)
- A remark on the theory of semi-functors (Q4847309) (← links)
- (Q4853302) (← links)
- (Q4853985) (← links)
- Topos theory (Q4893207) (← links)
- On the universal enveloping algebra of a Lie algebroid (Q4929982) (← links)
- An elementary definability theorem for first order logic (Q4934027) (← links)
- A homology theory for étale groupoids (Q4953848) (← links)
- Closed dendroidal sets and unital operads (Q5004664) (← links)
- Simplicial and Dendroidal Homotopy Theory (Q5094375) (← links)
- The dendroidal category is a test category (Q5225813) (← links)
- (Q5316335) (← links)
- Dendroidal Segal spaces and ∞-operads (Q5404123) (← links)
- Dendroidal sets and simplicial operads (Q5404124) (← links)
- (Q5431508) (← links)
- W-types in homotopy type theory (Q5740651) (← links)
- Partition complexes and trees (Q5889250) (← links)
- Foliation groupoids and their cyclic homology (Q5929055) (← links)
- Type theories, toposes and constructive set theory: Predicative aspects of AST (Q5957856) (← links)
- Monads on tensor categories (Q5960404) (← links)
- A Mysterious Tensor Product in Topology (Q6061118) (← links)
- Simplicial model structures on pro-categories (Q6091935) (← links)
- Dendroidal spaces, $\Gamma$-spaces and the special Barratt-Priddy-Quillen theorem (Q6282272) (← links)
- A definability theorem for first order logic (Q6503667) (← links)
- Profinite $\infty$-operads: Part II (Q6515164) (← links)
- On the equivalence of Lurie's \(\infty\)-operads and dendroidal \(\infty\)-operads (Q6660371) (← links)
