User Simon Henry

8 votes

1 answer

423 views

The positive cone of the standard representation of a Von Neumann algebra

asked Jan 13, 2016 at 17:34

7 votes

0 answers

287 views

How "small" can an ordinal be made by forcing?

asked Sep 2, 2015 at 11:28

7 votes

1 answer

659 views

Etale topos as a classifyng topos ?

asked Mar 23, 2012 at 14:37

7 votes

1 answer

494 views

Two notions of bundle of C* algebras

asked Apr 28, 2016 at 16:41

7 votes

3 answers

755 views

Duality between Banach spaces and compact convex spaces

asked Oct 24, 2017 at 11:41

7 votes

1 answer

297 views

Is the canonical model structure on strict $\infty$-Cat left proper?

asked Apr 10, 2021 at 13:31

7 votes

1 answer

236 views

Functions on Stone spaces as "enveloping algebra" of Boolean algebra

asked Oct 24, 2020 at 19:55

7 votes

1 answer

236 views

Free extension of algebra for an operad

asked Jan 17, 2021 at 23:31

7 votes

1 answer

214 views

Algebras for products or limits of monads

asked Jul 7, 2020 at 16:43

6 votes

0 answers

145 views

Can we make Pres *-autonomous?

asked Jun 7, 2020 at 17:01

6 votes

0 answers

118 views

Retracts in the bicategory of spans

asked Mar 23, 2020 at 1:50

6 votes

2 answers

473 views

CW-presentation of configurations of points in plane and space

asked Dec 7, 2020 at 16:13

6 votes

1 answer

367 views

How to build large recursive ordinals using Dillator and/or Ptykes?

asked Sep 2, 2022 at 14:22

6 votes

0 answers

142 views

Which Ends preserve filtered colimits?

asked Mar 10, 2023 at 22:39

6 votes

1 answer

177 views

Propositional vs Definitional extentionality in type theory

asked Nov 28, 2017 at 16:06

6 votes

1 answer

213 views

References requestion : Pretopos are algebras for a composed monad?

asked Mar 9, 2018 at 13:01

6 votes

2 answers

295 views

Combinatorial proof that some model categories are monoidal/enriched?

asked Mar 11, 2018 at 13:51

6 votes

0 answers

180 views

(Reference Request) Tensor product of chain complexes in terms of strict $\infty$-categories

asked Feb 5, 2018 at 10:42

6 votes

0 answers

477 views

The topos of a graph

asked Nov 22, 2016 at 16:02

6 votes

1 answer

262 views

Site dependance of the Cech weak equivalences on simplicial sheaves

asked Nov 27, 2014 at 15:22

6 votes

1 answer

632 views

Are isometric homorphisms of C* algebras *-homorphisms

asked Mar 3, 2015 at 17:32

6 votes

0 answers

256 views

Are regular epi of locale stably epic?

asked Sep 10, 2014 at 8:13

5 votes

1 answer

137 views

Relative local compactness for locales?

asked Feb 8, 2016 at 17:21

5 votes

0 answers

99 views

Partially fibered categories vs T-Multicategories

asked Sep 29, 2019 at 14:31

5 votes

1 answer

235 views

Hammock localization and free adjoints

asked Sep 24, 2023 at 2:16

4 votes

1 answer

180 views

How general is $TX \otimes X \simeq X \otimes TX$?

asked Apr 19 at 19:58

4 votes

1 answer

144 views

Decomposition of an ultrafilter on the fibers of a map

asked Sep 4, 2022 at 21:21

4 votes

1 answer

173 views

The locale of morphisms vs a morphism to an ultrapower?

asked Mar 15, 2022 at 17:32

4 votes

0 answers

83 views

Free monoid in the "rank $\omega$" case?

asked Feb 24, 2017 at 9:21

4 votes

0 answers

135 views

References for a lemma about compact operators on a Hilbert module

asked Jan 27, 2016 at 12:42

Stack Exchange Network

105 Questions

The positive cone of the standard representation of a Von Neumann algebra

How "small" can an ordinal be made by forcing?

Etale topos as a classifyng topos ?

Two notions of bundle of C* algebras

Duality between Banach spaces and compact convex spaces

Is the canonical model structure on strict $\infty$-Cat left proper?

Functions on Stone spaces as "enveloping algebra" of Boolean algebra

Free extension of algebra for an operad

Algebras for products or limits of monads

Can we make Pres *-autonomous?

Retracts in the bicategory of spans

CW-presentation of configurations of points in plane and space

How to build large recursive ordinals using Dillator and/or Ptykes?

Which Ends preserve filtered colimits?

Propositional vs Definitional extentionality in type theory

References requestion : Pretopos are algebras for a composed monad?

Combinatorial proof that some model categories are monoidal/enriched?

(Reference Request) Tensor product of chain complexes in terms of strict $\infty$-categories

The topos of a graph

Site dependance of the Cech weak equivalences on simplicial sheaves

Are isometric homorphisms of C* algebras *-homorphisms

Are regular epi of locale stably epic?

Relative local compactness for locales?

Partially fibered categories vs T-Multicategories

Hammock localization and free adjoints

How general is $TX \otimes X \simeq X \otimes TX$?

Decomposition of an ultrafilter on the fibers of a map

The locale of morphisms vs a morphism to an ultrapower?

Free monoid in the "rank $\omega$" case?

References for a lemma about compact operators on a Hilbert module