All Questions

I recently noticed the following categorical/universal way to describe the passage from $\mathbb{Z}$ to $\mathbb{Q}$: We start with the categroy $\mathsf{Sets}^{\mathrm{actv}}_*$ of pointed sets and —...

Define a homomorphism $\varphi : A \to B$ of commutative discrete rings or commutative ring spectra to be a (effective) descent morphism if the comparison functor from $\mathsf{Mod}_A$ to the category ...

There is this (folklore?) fact: for a commutative ring $R$, the category of $R$-modules is equivalent to the category of internal abelian groups in the slice category $\operatorname{Commutative rings}/...

A 1991 paper of Lewis, titled “Is there a convenient category of spectra?” proves that there is no category $\mathrm{Sp}$ satisfying the following desiderata$^1$: There is a symmetric monoidal smash ...