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
6 votes
Accepted

Equivalence relations in arbitrary categories

6 votes
Accepted

Free augmented algebras

6 votes

What are the monomorphisms of ($\infty$-)toposes?

6 votes
Accepted

Is the category of computads for a finitary monad on $n$-globular sets cocomplete?

6 votes
Accepted

Localisation of categories, but instead of "isomorphisms" I want "morphisms with right inverse". Construction via calculus of fractions possible?

6 votes

Assuming decidable equality but not LEM in HoTT

6 votes
Accepted

Images of complemented subobjects in hyperconnected toposes over Boolean bases

6 votes
Accepted

What about the enough points requirement in Bekes "Theories of presheaf type"?

6 votes
Accepted

Are the prime number objects given by the prime numbers?

6 votes
Accepted

What is the Gelfand dual of an open surjection?

6 votes
Accepted

Are infinitary monads monadic?

6 votes
Accepted

When does a cofibrantly generated model category have this factorization property?

6 votes
Accepted

Explicit description of a topos of sheaves on an internal boolean algebra

5 votes

When is the category of sheaves on a site compactly assembled/a continuous category?

5 votes
Accepted

A coproduct of $C^\ast$-algebras

5 votes
Accepted

Is every folk cofibration of strict $\omega$-categories a monomorphism?

5 votes

Simplicial spaces internally to simplicial sets

5 votes
Accepted

Weak descent and effective equivalence relations

5 votes
Accepted

The field structure on the locale of real numbers

5 votes
Accepted

Is there a "geometric definition" of globular $\infty$-groupoids/categories?

5 votes
Accepted

Fibrations of sites for $\infty$-topoi

5 votes
Accepted

Can conservativity depend on the universe?

5 votes
Accepted

Hakim's definition of a locally ringed topos

5 votes

Which free strict $\omega$-categories are also free as weak $(\infty,\infty)$-categories?

5 votes
Accepted

Failure of SVC in Grothendieck toposes

5 votes

Generalization of a theorem of Burnside to non-compact groups

5 votes

An extension of $K$-theory to topological $^*$-algebras

5 votes
Accepted

The (Hecke) double coset von Neumann algebra

5 votes
Accepted

Exponential locales and a pointless version of the compact-open topology?

5 votes
Accepted

Which Heyting algbras arise out of some elementary topos which satisfies the ultrafilter principle?

1
…
5 6
7
8 9
…
11