The following pages link to Simon Henry (Q266140):
Displaying 28 items.
- Localic metric spaces and the localic Gelfand duality (Q266141) (← links)
- Tietze equivalences as weak equivalences (Q2139719) (← links)
- Algebraically cofibrant and fibrant objects revisited (Q2670964) (← links)
- Combinatorial and accessible weak model categories (Q2674539) (← links)
- Weak model categories in classical and constructive mathematics (Q3294961) (← links)
- On toposes generated by cardinal finite objects (Q4582992) (← links)
- The localic Istropy group of a topos (Q4646815) (← links)
- AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN (Q5195067) (← links)
- Measure theory over boolean toposes (Q5360448) (← links)
- Non-unital polygraphs form a presheaf category (Q5382906) (← links)
- The effective model structure and -groupoid objects (Q5866297) (← links)
- Compact Hausdorff locales in presheaf toposes (Q6084669) (← links)
- Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)
- (Q6201703) (← links)
- Symmetrization of mono\"ids as hypergroups (Q6244639) (← links)
- Toposes, quantales and C* algebras in the atomic case (Q6246469) (← links)
- Constructive Gelfand duality for non-unital commutative C*-algebras (Q6257027) (← links)
- Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete $C^{*}$-categories (Q6258555) (← links)
- A Geometric Bohr topos (Q6258853) (← links)
- Complete C*-categories and a topos theoretic Green-Julg theorem (Q6268249) (← links)
- Algebraic models of homotopy types and the homotopy hypothesis (Q6277542) (← links)
- The convolution algebra of an absolutely locally compact topos (Q6281436) (← links)
- Regular polygraphs and the Simpson conjecture (Q6303945) (← links)
- A constructive account of the Kan-Quillen model structure and of Kan's Ex$^{\infty}$ functor (Q6318799) (← links)
- Minimal model structures (Q6354656) (← links)
- Higher Theories and Monads (Q6369493) (← links)
- When does $\operatorname{Ind}_\kappa(C^I) \simeq \operatorname{Ind}_\kappa(C)^I$? (Q6443615) (← links)
- A Classifying groupoid for compact Hausdorff locales (Q6454790) (← links)