User Simon Henry

5 votes

Brouwer's theorem for the Cauchy reals

answered Aug 28, 2015 at 9:27

5 votes

unitization-process of unital- and non-unital $C^*$-algebras

answered May 2, 2016 at 11:20

5 votes

Accepted

Exercise on "locality" in topos theory

answered Oct 18, 2016 at 22:17

5 votes

Relation between norm of any element of $C^*$-algebra in terms of self adjoint elements

answered Jan 8, 2017 at 11:39

5 votes

Accepted

Counterexample to Riesz representation for Hilbert modules

answered Jan 25, 2017 at 10:38

5 votes

Accepted

Sheaf associated to presheaf Aut

answered Feb 20, 2017 at 13:52

5 votes

Route to Alain Connes'work about classification of injective factors

answered May 30, 2017 at 16:23

5 votes

Accepted

When can a scheme be recovered from its descent groupoid?

answered Oct 20, 2018 at 13:37

5 votes

Accepted

Defining a sheaf from its values on a prebase (plus little more structure)

answered Mar 12, 2018 at 13:40

5 votes

Why do sheaves embed in presheaves?

answered Dec 1, 2017 at 10:22

5 votes

Accepted

Are there any useful conditions for a biclosed monoidal structure on presheaves to descend to a biclosed monoidal structure on sheaves?

answered Nov 18, 2017 at 13:43

4 votes

Constructive proof of existence of non-separable normed space

answered Mar 9, 2018 at 17:33

4 votes

Accepted

Minimal central projection in W*-algebras

answered Jan 15, 2016 at 9:26

4 votes

Accepted

second dual of minimal tensor products of $C^*$-algebras

answered Oct 7, 2015 at 14:24

4 votes

Do Hausdorff locally convex inductive limits always exist?

answered Oct 21, 2015 at 14:16

4 votes

Accepted

$H^{}$ algebras as a generalization of $C^{}$ algebras

answered Oct 27, 2015 at 12:08

4 votes

Why $A^A =A$ implies that $A$ is a C$^$ algebra (Proposition 5.2.8 of An Invitation to Quantum Groups and Duality by Thomas Timmermann)

answered Sep 11, 2015 at 11:51

4 votes

Accepted

Measurability and continuity for general topological spaces

answered May 20, 2015 at 11:50

4 votes

No Hilbert space can have countable Hamel basis without using Baire's Category theorem

answered Aug 20, 2015 at 13:09

4 votes

Compactification of topological spaces

answered Nov 12, 2012 at 17:59

4 votes

Associating a principal bundle to a torsor

answered May 8, 2014 at 9:15

4 votes

Do hom-sets really live in the category Set?

answered Jan 22, 2015 at 10:27

4 votes

A Possible characterization of F.D or AF commutative $C^{*}$ algebras

answered Oct 17, 2014 at 7:37

4 votes

Noncommutative version of Littlewood's First Principle

answered Nov 14, 2014 at 9:25

4 votes

Accepted

Are constant $\infty$-sheaves constant on connected components?

answered Sep 5, 2019 at 13:35

4 votes

Accepted

Definition of infinitary regular category

answered Jul 5, 2019 at 16:13

4 votes

Condensed / pyknotic sets in terms of forcing over Boolean-valued models of set theory / multiverse concepts?

answered Feb 28, 2021 at 14:29

4 votes

Accepted

What does play the role of a subobject classifier for quotient objects?

answered May 25, 2020 at 17:20

4 votes

Accepted

Necessary and sufficient conditions for all sheaves on a site to be continuous functors?

answered Dec 15, 2022 at 9:11

4 votes

Accepted

Is the coproduct $N=1+N$ universal?

answered Dec 6, 2022 at 17:12

Stack Exchange Network

308 Answers

Brouwer's theorem for the Cauchy reals

unitization-process of unital- and non-unital $C^*$-algebras

Exercise on "locality" in topos theory

Relation between norm of any element of $C^*$-algebra in terms of self adjoint elements

Counterexample to Riesz representation for Hilbert modules

Sheaf associated to presheaf Aut

Route to Alain Connes'work about classification of injective factors

When can a scheme be recovered from its descent groupoid?

Defining a sheaf from its values on a prebase (plus little more structure)

Why do sheaves embed in presheaves?

Are there any useful conditions for a biclosed monoidal structure on presheaves to descend to a biclosed monoidal structure on sheaves?

Constructive proof of existence of non-separable normed space

Minimal central projection in W*-algebras

second dual of minimal tensor products of $C^*$-algebras

Do Hausdorff locally convex inductive limits always exist?

$H^{}$ algebras as a generalization of $C^{}$ algebras

Why $A^A =A$ implies that $A$ is a C$^$ algebra (Proposition 5.2.8 of An Invitation to Quantum Groups and Duality by Thomas Timmermann)

Measurability and continuity for general topological spaces

No Hilbert space can have countable Hamel basis without using Baire's Category theorem

Compactification of topological spaces

Associating a principal bundle to a torsor

Do hom-sets really live in the category Set?

A Possible characterization of F.D or AF commutative $C^{*}$ algebras

Noncommutative version of Littlewood's First Principle

Are constant $\infty$-sheaves constant on connected components?

Definition of infinitary regular category

Condensed / pyknotic sets in terms of forcing over Boolean-valued models of set theory / multiverse concepts?

What does play the role of a subobject classifier for quotient objects?

Necessary and sufficient conditions for all sheaves on a site to be continuous functors?

Is the coproduct $N=1+N$ universal?