Maxime Ramzi

https://sites.google.com/view/maxime-ramzi-en

Postdoc in Münster

Interested in homotopy theory, algebraic topology, (higher) algebra, (higher) category theory, representation theory, algebraic K-theory and Hochschild homology, ambidexterity.

On the side, I maintain a (non research) interest in logic and set theory.

top accounts reputation activity subscriptions

What's there to do in category theory?

ct.category-theory soft-question higher-category-theory abelian-categories asked Nov 29, 2017 at 21:16

mathoverflow.net

44 votes

$\mathbb{R}$ and $\mathbb{R}^2$ isomorphic as groups?

general-topology group-theory proof-verification vector-spaces topological-groups asked Aug 4, 2017 at 20:53

math.stackexchange.com

26 votes

Are there (enough) injectives in condensed abelian groups?

sheaf-theory abelian-categories injective-modules sites condensed-mathematics asked Feb 11, 2020 at 13:47

mathoverflow.net

22 votes

Why is it that homotopy is better described by weak equivalences than by homotopies?

algebraic-topology category-theory homotopy-theory higher-category-theory asked Aug 8, 2018 at 19:08

math.stackexchange.com

18 votes

Algebraic topology for non-nice spaces

general-topology algebraic-topology category-theory functors asked Aug 5, 2018 at 16:04

math.stackexchange.com

18 votes

$x^n = x$ implies commutativity, a universal algebraic proof?

abstract-algebra ring-theory noncommutative-algebra universal-algebra asked May 9, 2018 at 17:03

math.stackexchange.com

17 votes

Locales as spaces of ideal/imaginary points

forcing constructive-mathematics locales zariski-topology asked Jul 20, 2018 at 16:54

mathoverflow.net

17 votes

$\infty$-topoi versus condensed anima

gn.general-topology higher-category-theory infinity-categories infinity-topos-theory condensed-mathematics asked Mar 29, 2021 at 18:34

mathoverflow.net

14 votes

Can we use the internal logic of a category to do diagram chases "as in $\mathbf{Ab}$" ?

logic category-theory homological-algebra abelian-categories asked May 17, 2018 at 19:16

math.stackexchange.com

13 votes

Induced representation: which adjoint is it?

category-theory representation-theory adjoint-functors asked May 14, 2018 at 12:55

math.stackexchange.com

Top Answers

101

What is the crime of lèse-Bourbaki?

math.stackexchange.com

A Krull-like Theorem and its possible equivalence to AC

mathoverflow.net

What intuitive notion is formalized by "natural transformation" in category theory?

math.stackexchange.com

Does every monoidal category admit a braiding?

mathoverflow.net

How to prove a non-provable statement? That is weird...

math.stackexchange.com

On the connections between condensed mathematics and homotopy theory

mathoverflow.net

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

mathoverflow.net

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

mathoverflow.net

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

mathoverflow.net

No canonical isomorphism

mathoverflow.net

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

mathoverflow.net

When forgetting structure doesn't matter

mathoverflow.net

Projective objects in the derived category of chain complexes

mathoverflow.net

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

mathoverflow.net

Suspension spectrum functor

mathoverflow.net

What are the centre and trace of the simplex category?

mathoverflow.net

Direct product is cancellative for finite groups.

math.stackexchange.com

Reflection principle vs universes

mathoverflow.net

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

mathoverflow.net

Reference for the Swan-Serre theorem as a monoidal equivalence

mathoverflow.net

Algebras of the powerset monad

math.stackexchange.com

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

mathoverflow.net

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

mathoverflow.net

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

mathoverflow.net

Universal delta-functors and ZFC

mathoverflow.net

In a field why does the multiplicative identity have an additive inverse, whereas the additive identity doesn't have a multiplicative inverse?

math.stackexchange.com

K-theory and adic completion

mathoverflow.net

When does derived tensor product commute with arbitrary products?

mathoverflow.net

Multiplicative Structures on Moore Spectra

mathoverflow.net

How to find the products in a category, in general?

math.stackexchange.com