Search Results

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 …

Valuations and seminorms on rings play a big role in number theory and analytic geometry, with seminorms being heavily used in Berkovich geometry and valuations featuring heavily in adic geometry. Let …

We can characterise $\mathbb{Z}$ and $\mathbb{Z}/2$ as the corepresenting abelian groups of the functors \begin{align*} \mathsf{Forget} &\colon \mathsf{Ab} \to \mathsf{Sets},\\ \mathrm{Inv} …

There's a number of results relating monoidal categories to connective spectra (which are themselves equivalent to $\mathbb{E}_{\infty}$-spaces): Symmetric monoidal categories model all connective sp …

In Nilpotence in Stable Homotopy Theory II, Hopkins–Smith define a field spectrum to be a ring spectrum $E$ such that $E_*X$ is a free $E_*$-module for all spectra $X$. They then show that any field s …

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 …