User Maxime Ramzi - MathOverflow

33 votes

Accepted

A Krull-like Theorem and its possible equivalence to AC

answered Sep 9, 2022 at 21:53

30 votes

Accepted

Does every monoidal category admit a braiding?

answered Mar 10, 2022 at 12:07

25 votes

Accepted

On the connections between condensed mathematics and homotopy theory

answered Nov 25, 2023 at 11:39

23 votes

What theorems or insights are well known for $\infty$-categories but not well known for categories?

answered Apr 5, 2025 at 8:05

22 votes

What properties of the fundamental group functor are needed to uniquely determine it upto natural isomorphism?

answered Sep 14, 2024 at 14:51

21 votes

Accepted

R-module hom a direct summand of Z-module hom?

answered Feb 1, 2022 at 17:56

21 votes

No canonical isomorphism

answered Apr 23, 2021 at 11:45

20 votes

When forgetting structure doesn't matter

answered Apr 30, 2022 at 11:08

20 votes

Accepted

Is it true that $\operatorname{2-colim}_U \textsf{QCoh}(U) = \textsf{Vect}(K_X)$, as $U$ shrinks to the generic point?

answered Jun 4, 2022 at 17:25

19 votes

Accepted

Projective objects in the derived category of chain complexes

answered Nov 17, 2022 at 16:10

19 votes

Accepted

Example: Forgetful functor $\operatorname{CMon}(C)\to \operatorname{Mon}(C)$ is not fully faithful

answered Jan 19, 2025 at 20:58

18 votes

Accepted

Suspension spectrum functor

answered Dec 20, 2024 at 8:37

17 votes

Accepted

What are the centre and trace of the simplex category?

answered Apr 20, 2024 at 23:28

16 votes

How to prove that topological Hochschild homology of a smooth proper stable k-linear infinity category is dualizable?

answered Jun 8, 2022 at 9:56

16 votes

Reference for the Swan-Serre theorem as a monoidal equivalence

answered Mar 28, 2021 at 19:34

16 votes

Reflection principle vs universes

answered Jan 27, 2021 at 12:49

15 votes

Accepted

Can the category of S-local objects be reflective but not a localization by S?

answered Jan 7, 2021 at 19:43

15 votes

What functors are classified by slices of $\infty$-categories?

answered Jan 18, 2021 at 19:04

15 votes

Accepted

Universal delta-functors and ZFC

answered Jul 16, 2025 at 15:31

15 votes

Accepted

What is an example of locally finitely presented algebra which is not finitely presented?

answered Jan 3 at 0:08

14 votes

Accepted

K-theory and adic completion

answered Mar 10 at 17:00

14 votes

Accepted

When does derived tensor product commute with arbitrary products?

answered Sep 27, 2024 at 12:01

14 votes

Multiplicative Structures on Moore Spectra

answered Dec 12, 2024 at 12:29

14 votes

Accepted

Is the inclusion of a formal neighborhood of zero a monomorphism in derived geometry?

answered Mar 28, 2025 at 8:26

14 votes

Conjugacy classes as left Kan extension of forgetful functor

answered Dec 13, 2022 at 14:28

13 votes

Accepted

Homotopy groups of categories of elements as higher colimits

answered Apr 15, 2023 at 9:58

13 votes

Accepted

Is the forgetful functor $\mathrm{Mod}_R \mathrm{Sp} \rightarrow \mathrm{Sp}$ faithful?

answered Oct 25, 2020 at 10:13

13 votes

Accepted

Homotopy coherent colimits in chain complexes

answered Jan 25, 2021 at 17:25

13 votes

Accepted

Concrete representation of coend in linear algebra

answered Oct 6, 2023 at 21:12

13 votes

Accepted

Do presheaves of complexes with term-wise descent satisfy descent as well?

answered Feb 22 at 10:25

Stack Exchange Network

227 Answers

A Krull-like Theorem and its possible equivalence to AC

Does every monoidal category admit a braiding?

On the connections between condensed mathematics and homotopy theory

What theorems or insights are well known for $\infty$-categories but not well known for categories?

What properties of the fundamental group functor are needed to uniquely determine it upto natural isomorphism?

R-module hom a direct summand of Z-module hom?

No canonical isomorphism

When forgetting structure doesn't matter

Is it true that $\operatorname{2-colim}_U \textsf{QCoh}(U) = \textsf{Vect}(K_X)$, as $U$ shrinks to the generic point?

Projective objects in the derived category of chain complexes

Example: Forgetful functor $\operatorname{CMon}(C)\to \operatorname{Mon}(C)$ is not fully faithful

Suspension spectrum functor

What are the centre and trace of the simplex category?

How to prove that topological Hochschild homology of a smooth proper stable k-linear infinity category is dualizable?

Reference for the Swan-Serre theorem as a monoidal equivalence

Reflection principle vs universes

Can the category of S-local objects be reflective but not a localization by S?

What functors are classified by slices of $\infty$-categories?

Universal delta-functors and ZFC

What is an example of locally finitely presented algebra which is not finitely presented?

K-theory and adic completion

When does derived tensor product commute with arbitrary products?

Multiplicative Structures on Moore Spectra

Is the inclusion of a formal neighborhood of zero a monomorphism in derived geometry?

Conjugacy classes as left Kan extension of forgetful functor

Homotopy groups of categories of elements as higher colimits

Is the forgetful functor $\mathrm{Mod}_R \mathrm{Sp} \rightarrow \mathrm{Sp}$ faithful?

Homotopy coherent colimits in chain complexes

Concrete representation of coend in linear algebra

Do presheaves of complexes with term-wise descent satisfy descent as well?