Skip to main content
MathOverflow
Simon Henry's user avatar
Simon Henry's user avatar
Simon Henry's user avatar
Simon Henry
  • Member for 12 years, 9 months
  • Last seen this week
Profile Activity

308 Answers

Score Activity Newest
13 votes
Accepted

What are the "smallest" topoi?

13 votes
Accepted

Locales in constructive mathematics

13 votes
Accepted

Alternatives to "Sketches of an Elephant" Volume 3

12 votes

Locales as spaces of ideal/imaginary points

12 votes

Example of non-"propositional" local operators on a topos?

12 votes

Are Banach space norms (up to equivalence) unique?

12 votes
Accepted

Does pullback in the category of smooth manifolds always exists?

12 votes
Accepted

Grothendieck - sheaves as meter sticks

12 votes
Accepted

What's the localic reflection of a presheaf topos?

12 votes
Accepted

Can one associate a "nice" topos to a von Neumann algebra?

12 votes

Does the category of local rings with residue field $F$ have an initial object?

12 votes
Accepted

Simple example of nontrivial simplicial localization

12 votes

Examples of non-polynomial comonads on Set?

12 votes
Accepted

Example of a Grothendieck category which is not Gabriel?

12 votes
Accepted

Topos notions coming from topology and uniqueness of generalizations

11 votes
Accepted

Why is it not possible to define the necessity operator internally $\Box: \Omega \to \Omega$ in a topos?

11 votes
Accepted

Questions about coherent topology

11 votes
Accepted

Internal presheaves on the subobject classifier

11 votes
Accepted

Stabilization of taking presheaf categories

11 votes
Accepted

Characterization of functors whose right adjoint is monadic?

11 votes

Is material set theory conservative over structural set theory?

11 votes
Accepted

Free models of finitely presented essentially algebraic theories in elementary toposes?

11 votes
Accepted

Discernible Objects in a Topos

11 votes
Accepted

Differential Topology over $\mathbb{Q}$

11 votes
Accepted

Is there a name for a "rigid" sheaf?

11 votes

Strong Morita equivalence and representation theory

11 votes

Does the Brouwer fixed point theorem admit a constructive proof?

11 votes
Accepted

Left Kan extension along Yoneda of pullback-preserving functor preserving pullbacks

11 votes

2-natural operations on toposes

11 votes
Accepted

Which topological manifolds do not correspond to strongly Hausdorff locales?

1 2
3
4 5
…
11