Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This is inspired by this question about the equivalence between the category of finite sets and non-negative integers. Now this question was (rightly, I guess) closed, but the fact was surprising to the OPer. I didn't know about this, but it was easy to verify. I had a little bit of difficulty understanding the nuances between categorical equivalences and category isomorphism until I thought about the analogy with homotopic spaces and homeomorphic spaces.

I was wondering about other equivalences that might unexpected and/or not so straightforward to prove. I would appreciate answers to a general audience...things that a beginner or an expert might find of interest.

share|improve this question
This is rather wide... Is The Hilbert-Riemann correspondence 'straightforward´? –  Mariano Suárez-Alvarez Mar 6 '11 at 3:54
Dear Mariano, The RH correspondence is also what came to my mind when I saw this question. I think one would be hard-pressed to call it "straightforward". –  Emerton Mar 7 '11 at 4:20
add comment

9 Answers

I can remember twice that I have been really stunned by an equivalence of categories.

First, let R be a not necessarily commutative ring. The category of (left) R-modules is equivalent to the category of (left) modules over the ring of $n\times n$ matrices with entries in R. (This is the simplest example of a Morita equivalence.) I mean, the rings themselves look very different from each other.

The second is that the homotopy category of simplicial sets is equivalent to the homotopy category of CW-complexes. The former is defined purely combinatorially, and the latter is defined topologically: a CW complex is after all defined by gluing together open balls in $\mathbf R^n$ (albeit in a complicated way) and the equivalence relation on arrows given by homotopy is defined by taking products with the open interval [0,1]. It really is remarkable how the process of passing to homotopy can strip away all this topological structure.

share|improve this answer
If you want to define the homotopy category of simplicial sets combinatorially, you have to do something fairly complicated (to figure out which maps are weak equivalences). Perhaps you want to say the homotopy category of Kan complexes? –  Eric Wofsey Mar 7 '11 at 6:49
That's a good point. This was also discussed a while ago on MO: mathoverflow.net/questions/46087/… –  Dan Petersen Mar 7 '11 at 7:59
add comment

It's rather subjective what is surprising or not. But there are lots of nontrivial and interesting equivalences of categories. Actually a big part of mathematics is about establishing these equivalences. Some examples:

  1. The category of smooth projective curves over $k$ (alg. closed field) is anti-equivalent to the category of finitely generated field extensions of $k$ of transcendence degree $1$.

  2. If $X$ is a nice pointed space with fundamental group $G$, then the category of coverings of $X$ is equivalent to the orbit category of $G$.

  3. The category of locally compact hausdorff spaces is anti-equivalent to the category of commutative $C^*$-algebras. Similarily, replacing $\mathbb{C}$ by $\mathbb{F}_2$, the category of locally compact totally disconnected hausdorff spaces is anti-equivalent to the category of boolean rings. See also Johnstones book Stone duality for more background.

  4. Tannaka duality, see for example this MO discussion.

  5. Pontrjagin duality establishes an equivalence between the category of locally compact abelian groups and its opposite category. This restricts to an anti-equivalence between the category of compact abelian groups and discrete abelian groups!

Remark that in the first four examples, in some sense, geometry is connected with algebra. This not just enables you to argue about geometry with algebra, but also the other way round!

By the way, the equivalence between the category of finite sets and the non-negative integers is not surprising at all. Every category is equivalent to its skeleton, essentially by the definitions. A skeleton is some kind of classification of the objects, and a finite set is classified by its cardinality.

share|improve this answer
In the second sentence of #3, don't you mean "compact" instead of "locally compact"? –  Mike Shulman Mar 6 '11 at 18:41
@Martin: I didn't mean to imply that the thread inspiring this question actually was surprising. When I saw the question it sounded like something that should be true and was easy to show. –  jd.r Mar 6 '11 at 19:33
@Mike: I meant boolean rings which are not assumed to be unital. Here a morphism is a ring morphism $R \to S$ such that the image generates $S$ as an ideal. –  Martin Brandenburg Mar 6 '11 at 20:57
why the downvote? .. –  Martin Brandenburg Mar 7 '11 at 8:25
add comment

What one person finds surprising another person won't, but:

The category of compact Hausdorff spaces and continuous maps is equivalent to the category of models of an (infinitary) algebraic theory, i.e., a theory given by operations and universally quantified equations. (This theory is unbounded in rank, i.e., there is a proper class of operations that need to be specified.)

share|improve this answer
This category is also equivalent to the category of commutative unital C*-algebras. –  Kevin Ventullo Mar 6 '11 at 5:54
Don't you mean it is equivalent to the <i>opposite</i> of the category of commutative unital C*-algebras? –  Todd Trimble Mar 6 '11 at 6:17
Todd, could you give a reference for this (indeed surprising!) equivalence? Is this connected with locally presentability? Also, is it possible to write down the operations and equations? Thanks :) –  Martin Brandenburg Mar 6 '11 at 9:32
Todd: is this the fact that the adjunction between Set and CHff is monadic? –  Yemon Choi Mar 6 '11 at 9:49
Yemon: yes, that is correct. Martin: given the monadicity, operations of arity j are in natural bijection with elements of F(j), the free algebra on a set of cardinality j. In the present case, these can be viewed as ultrafilters on the set j. If U is an ultrafilter on j and X is CH, then the corresponding algebraic operation X^j --> X takes a function f: j --> X to the element $\beta(f)(U) \in X$, where $\beta$ is the monad. The result is due to Manes; for one reference, see his book Algebraic Theories. There is relevant material in the nLab too (e.g. "algebraic theory"). –  Todd Trimble Mar 6 '11 at 12:46
show 2 more comments

The forgetful functor from topological abelian monoids to topological spaces has a left adjoint, the infinite symmetric product $\text{SP}$. The Dold-Thom theorem asserts that if $X$ is a CW-complex, then $H_n(X) \cong \pi_n(\text{SP}(X))$; in other words, the singular homology of $X$ is precisely the homotopy of a "linearized" version of $X$.

If you want to phrase this theorem in a more combinatorial setting, you can replace $X$ with a simplicial set, hence replace $\text{SP}(X)$ with the free simplicial abelian group on $X$.

Theorem (Dold-Kan): The category of simplicial abelian groups is equivalent to the category of chain complexes concentrated in non-negative degree.

This theorem explains, in a precise sense, why the machinery of homological algebra can describe properties of topological spaces. For me it really explains what a chain complex "is": it's a linearization of a combinatorialization of a topological space.

share|improve this answer
add comment

The tangle category $\text{Tang}$ is the category whose objects are the non-negative integers $n$ and whose morphisms $n \to m$ are collections of paths from $n$ points arranged on a line in $\mathbb{R}^3$ to $m$ points on another line in $\mathbb{R}^3$ up to ambient isotopy, possibly with some links thrown in. Composition is given by connecting the paths together. In particular, $\text{Hom}(0, 0)$ consists of links in $\mathbb{R}^3$.

$\text{Tang}$ is a monoidal category with the monoidal operation given by disjoint union. It is also braided monoidal with braiding given by the obvious geometric move. Finally, it has duals given by flipping morphisms upside-down, and every object is self-dual. Note that the core of $\text{Tang}$ is the braid category.

Theorem: $\text{Tang}$ is the free braided monoidal category with duals on one self-dual, unframed object.

This fact, and others like it, have some remarkable consequences. For example, they allow us to write down knot and link invariants from braided monoidal categories, prominent examples including the categories of representations of quantum groups; the Jones polynomial arises in this way from the category of representations of $\mathcal{U}_q(\mathfrak{sl}_2)$. There is a fairly thorough exposition in Kassel's Quantum Groups.

share|improve this answer
1+, very interesting! –  Martin Brandenburg Mar 6 '11 at 20:59
add comment

The $2$-cobordism category $2\text{Cob}$ is the category whose objects are (compact, oriented) $1$-manifolds and whose morphisms $M \to N$ are (compact, oriented) $2$-manifolds with boundary $M \sqcup N$ in the appropriate orientation up to relative homeomorphism, with composition given by identifying the appropriate parts of the boundary.

$2\text{Cob}$ is symmetric monoidal with the monoidal operation given by disjoint union. But in fact much more is true.

Theorem: $2\text{Cob}$ is the free symmetric monoidal category on a commutative Frobenius object.

In other words, symmetric (strong?) monoidal functors $2\text{Cob} \to M$, where $M$ is a symmetric monoidal category are the same as commutative Frobenius algebras in $M$.

I always thought this one was particularly funny because the original motivation for the definition of a Frobenius algebra has nothing to do with topology. This is a very special case of the cobordism hypothesis in TQFT and is explained carefully with lots of pictures in Kock's Frobenius algebras and 2D topological quantum field theories.

share|improve this answer
add comment

Martin already mentioned one facet of Stone duality, but I thought I would mention another, which is equally surprising to me. The pro-completion of a category is obtained by formally adjoining cofiltered limits (or equivalently, codirected limits). That is, an object of Pro(C) is a cofiltered diagram in C, with morphisms defined in an appropriate way. Pro(C) can be identified with a full subcategory of $[C,\mathrm{Set}]^{\mathrm{op}}$ (which is the free completion of C under all small limits). Part of Stone duality says that the category Pro(FinSet), the result of formally adjoining cofiltered limits to the category of finite sets, is equivalent to a full subcategory of Top, namely the zero-dimensional compact Hausdorff spaces.

share|improve this answer
add comment

The category of AF $C^*$-algebras is equivalent to that of ordered abelian groups with strong unit (i.e. an element with the archimedian property, adding this one to itself often enough you can always obtain something bigger than any given element) via the $K_0$-functor. The morphisms in this category are the order preserving, unit preserving group homomorphisms. The latter category is equivalent to the category of MV-algebras via the functor plucking out the "interval" between the neutral element and the strong unit (see e.g. this book).

share|improve this answer
What's the functor going from the category of OAGs with strong unit to the category of AF C*-algebras? (I assume that the morphisms in the latter category are the *-homomorphisms.) –  Yemon Choi Mar 7 '11 at 0:06
I think the functor back is given by expressing a given OAG as limit of groups of the form Z^n with strong unit (k_1,...,k_n), which seems to be always possible. An OAG of this latter form is K_0 of the direct sum of matrix-rings M_{k_1}(C)+...+M_{k_n}(C). Then you take the limit over these C^*-algebras. On morphisms Elliott's theorem tells you that any OAG-morphism is K_0 of a C^*-morphism. The AF-algebras in this statement are not supposed to be separable, but I am not sure about unitality. –  Peter Arndt Mar 12 '11 at 0:27
Sorry about the vage statements - I don't remember the exact state of affairs and am too busy to look it up right now. I think the C^*-book by Rordam, Larsen, Laustsen should give all details. –  Peter Arndt Mar 12 '11 at 0:29
add comment

I was pretty shocked by this one: if $V$ is the additive group of a finite-dimensional vector space over a $p$-adic field, the category of smooth (sometimes called algebraic or discrete) complex representations of $V$ is equivalent to the category of sheaves of complex vector spaces on the Pontryagin dual of $V$.

More generally, this is true of any Hausdorff, locally compact, and totally disconnected abelian group which is a filtered union of its compact open subgroups.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.