User Simon Henry

9 votes

Accepted

The 'gros' functor from schemes into (strictly) locally ringed topoi

answered Apr 23, 2019 at 14:57

9 votes

Accepted

Co-stalk of co-presheaves and cosheaves

answered Mar 7, 2016 at 18:05

9 votes

Accepted

Interpretation of the monomorphism $H^2(\pi_1(X),\mathbb{Z}) \rightarrow H^2(X,\mathbb{Z})$

answered Apr 16, 2015 at 7:56

9 votes

Accepted

Localizations or quotients of categories?

answered Nov 27, 2014 at 9:56

9 votes

What kind of category is generated by Cubical type theory?

answered May 29, 2018 at 15:48

9 votes

Are two octonion algebras with different multiplications isomorphic?

answered Mar 11, 2017 at 12:13

9 votes

Needless axiom for Grothendieck topologies?

answered Apr 4, 2016 at 13:07

8 votes

Accepted

Is the analytification functor part of a geometric morphism of topoi?

answered Apr 7, 2016 at 9:06

8 votes

How to construct a constructive proof from a non-constructive proof using prime ideals?

answered Sep 14, 2016 at 19:43

8 votes

Accepted

How the modular theory of von Neumann algebras, deal with generating C*-algebras?

answered Oct 18, 2016 at 13:39

8 votes

Accepted

How to formally split monomorphisms nicely?

answered Sep 20, 2017 at 16:01

8 votes

Localization of $\infty$-categories

answered Sep 17, 2018 at 8:19

8 votes

Accepted

In a fibration, how do properties of arrows downstairs affect the base-change functors?

answered Oct 26, 2018 at 13:45

8 votes

Accepted

A $C^{*}$ algebra associated to a group

answered Mar 29, 2015 at 11:05

8 votes

Accepted

Must a map on a compact space be surjective on $\cap_{n=1}^\infty f^n(X)$?

answered Oct 7, 2014 at 16:47

8 votes

Theory of C* algebras over other fields than the complex numbers

answered May 6, 2015 at 7:57

8 votes

Accepted

Can a finite von Neumann algebra be strongly morita equivalent to a properly infinite von neumann algebra?

answered Aug 25, 2015 at 9:06

8 votes

Accepted

Localization, model categories, right transfer

answered Mar 7, 2019 at 9:54

8 votes

What are the occurrences of stacks outside algebraic geometry, differential geometry, and general topology?

answered Jun 1, 2020 at 21:19

8 votes

Accepted

A very elementary question on the definition of sheaf on a site

answered Nov 30, 2020 at 13:42

8 votes

Accepted

Stone duality for the algebra of Boolean functions such that $f(\top,\dots,\top) = \top$, or: What does the presheaf topos on $FinSet_\ast$ classify?

answered Jan 26, 2021 at 16:12

8 votes

Characterization of 'canonical' natural numbers objects

answered Mar 15, 2021 at 13:17

8 votes

not quite the sheaf condition

answered Apr 17, 2023 at 13:36

8 votes

Accepted

Is there a topos of quotients of sets?

answered Feb 5, 2023 at 15:27

8 votes

Accepted

Day and Lack's "Limits of small functors": Lemma 2.3

answered Sep 27, 2022 at 14:07

8 votes

Examples of five-adjoint systems

answered May 15, 2022 at 16:14

8 votes

Accepted

Example of a non-cocomplete model category of a realized limit sketch

answered May 23, 2021 at 17:04

8 votes

Accepted

Does the path category of a quiver determine the quiver up to isomorphism?

answered Dec 15, 2021 at 19:19

8 votes

Accepted

Is the suspension of a finite fibration again finite?

answered Feb 19, 2022 at 15:04

8 votes

Accepted

Inverting objects in a symmetric monoidal category

answered Nov 7, 2021 at 14:47

Stack Exchange Network

308 Answers

The 'gros' functor from schemes into (strictly) locally ringed topoi

Co-stalk of co-presheaves and cosheaves

Interpretation of the monomorphism $H^2(\pi_1(X),\mathbb{Z}) \rightarrow H^2(X,\mathbb{Z})$

Localizations or quotients of categories?

What kind of category is generated by Cubical type theory?

Are two octonion algebras with different multiplications isomorphic?

Needless axiom for Grothendieck topologies?

Is the analytification functor part of a geometric morphism of topoi?

How to construct a constructive proof from a non-constructive proof using prime ideals?

How the modular theory of von Neumann algebras, deal with generating C*-algebras?

How to formally split monomorphisms nicely?

Localization of $\infty$-categories

In a fibration, how do properties of arrows downstairs affect the base-change functors?

A $C^{*}$ algebra associated to a group

Must a map on a compact space be surjective on $\cap_{n=1}^\infty f^n(X)$?

Theory of C* algebras over other fields than the complex numbers

Can a finite von Neumann algebra be strongly morita equivalent to a properly infinite von neumann algebra?

Localization, model categories, right transfer

What are the occurrences of stacks outside algebraic geometry, differential geometry, and general topology?

A very elementary question on the definition of sheaf on a site

Stone duality for the algebra of Boolean functions such that $f(\top,\dots,\top) = \top$, or: What does the presheaf topos on $FinSet_\ast$ classify?

Characterization of 'canonical' natural numbers objects

not quite the sheaf condition

Is there a topos of quotients of sets?

Day and Lack's "Limits of small functors": Lemma 2.3

Examples of five-adjoint systems

Example of a non-cocomplete model category of a realized limit sketch

Does the path category of a quiver determine the quiver up to isomorphism?

Is the suspension of a finite fibration again finite?

Inverting objects in a symmetric monoidal category