User Simon Henry

4 votes

Accepted

What is the status of Jordan's theorem in constructive mathematics in the language of locales?

answered Nov 2, 2021 at 14:29

4 votes

Accepted

Does left-exactness imply semi-additivity?

answered Apr 28, 2022 at 15:40

4 votes

Accepted

Localic maps given by series

answered Jul 16, 2022 at 8:08

4 votes

Accepted

Can Reedy cofibrations be monomorphisms?

answered Jun 7, 2022 at 17:47

4 votes

Dissolution of a topos

answered Dec 23, 2023 at 10:46

4 votes

Does $\infty$-categorical localization commute with taking directed fibered products?

answered Oct 1, 2023 at 13:27

4 votes

Are $\infty$-categories functorially colimits of their simplices?

answered Sep 20, 2023 at 16:36

3 votes

Preimage of a sublocale by a morphism of locales: description by nucleus?

answered Dec 2 at 20:28

3 votes

It's there a way to take a composite monad and a monad map to create a map of the composite?

answered Dec 29, 2022 at 1:03

3 votes

Accepted

Categories admitting singleton-classifiers and characterization of the category $\mathbf{Set}$

answered May 27, 2020 at 13:19

3 votes

Accepted

Pushout of quasi-categories with finite coproducts

answered Jun 16, 2020 at 14:43

3 votes

Accepted

Universal model category as a $\text{sSet}$-enriched co-completion

answered May 16, 2020 at 19:56

3 votes

Accepted

Euclidean model structure on multipointed $d$-spaces

answered Dec 1, 2020 at 18:32

3 votes

Accepted

Abelianization of monoids in arbitrary (symmetric) monoidal categories

answered Mar 21, 2021 at 15:37

3 votes

Is there a way to adjoin a counit to a non counital coalgebra?

answered Jun 25, 2019 at 9:41

3 votes

Accepted

Is there an example of two strict monoidal categories which are (monoidally) equivalent, but not strictly?

answered Sep 13, 2019 at 16:02

3 votes

Is the inclusion functor from gaunt strict $n$-categories to weak $(\infty,n)$-categories fully faithful?

answered Mar 27, 2020 at 22:06

3 votes

Accepted

Spectrum of a Banach algebra homeomorphic to the spectrum of one of its elements

answered May 22, 2014 at 13:42

3 votes

Continuous surjection $S^n\to S^m$, $n<m$

answered Oct 27, 2013 at 10:33

3 votes

Accepted

Simplification in Semi-continuous real ?

answered Sep 27, 2012 at 12:27

3 votes

Accepted

Kernel of the natural map between group $C^*$-algebras

answered Aug 27, 2015 at 12:44

3 votes

Accepted

Do coherent toposes descend along open surjection?

answered May 5, 2015 at 14:47

3 votes

Accepted

Classification of commutative ring ideal closure operators?

answered Jul 22, 2015 at 8:59

3 votes

What is a spectrum object in $\infty$-topoi?

answered Oct 23, 2018 at 12:44

3 votes

Is there a version of the "infinitary" disjunctive normal form theorem for topoi and slice categories?

answered Nov 19, 2018 at 23:08

3 votes

$C^*$-algebra which is not von Neumann, but satisfies the property that ever self-adjoint element is

answered Sep 20, 2017 at 12:33

3 votes

A model structure on semi-simplicial algebraic Kan complexes?

answered Mar 9, 2017 at 9:49

3 votes

Accepted

Matrix diagonalization and eigenvector computation constructively

answered Dec 20, 2016 at 14:16

3 votes

Accepted

Is an objectwise subframe a sub-inf-lattice in a topos?

answered Oct 19, 2016 at 11:30

3 votes

Accepted

Products of double-negation sublocales (and probability distributions on them)

answered Nov 8, 2016 at 15:24

Stack Exchange Network

308 Answers

What is the status of Jordan's theorem in constructive mathematics in the language of locales?

Does left-exactness imply semi-additivity?

Localic maps given by series

Can Reedy cofibrations be monomorphisms?

Dissolution of a topos

Does $\infty$-categorical localization commute with taking directed fibered products?

Are $\infty$-categories functorially colimits of their simplices?

Preimage of a sublocale by a morphism of locales: description by nucleus?

It's there a way to take a composite monad and a monad map to create a map of the composite?

Categories admitting singleton-classifiers and characterization of the category $\mathbf{Set}$

Pushout of quasi-categories with finite coproducts

Universal model category as a $\text{sSet}$-enriched co-completion

Euclidean model structure on multipointed $d$-spaces

Abelianization of monoids in arbitrary (symmetric) monoidal categories

Is there a way to adjoin a counit to a non counital coalgebra?

Is there an example of two strict monoidal categories which are (monoidally) equivalent, but not strictly?

Is the inclusion functor from gaunt strict $n$-categories to weak $(\infty,n)$-categories fully faithful?

Spectrum of a Banach algebra homeomorphic to the spectrum of one of its elements

Continuous surjection $S^n\to S^m$, $n<m$

Simplification in Semi-continuous real ?

Kernel of the natural map between group $C^*$-algebras

Do coherent toposes descend along open surjection?

Classification of commutative ring ideal closure operators?

What is a spectrum object in $\infty$-topoi?

Is there a version of the "infinitary" disjunctive normal form theorem for topoi and slice categories?

$C^*$-algebra which is not von Neumann, but satisfies the property that ever self-adjoint element is

A model structure on semi-simplicial algebraic Kan complexes?

Matrix diagonalization and eigenvector computation constructively

Is an objectwise subframe a sub-inf-lattice in a topos?

Products of double-negation sublocales (and probability distributions on them)