Recall that we call a category rigid if it contains no non-identity isomorphisms. Let $\mathbf{rig}$ denote the full 2-subcategory of $\mathbf{Cat}$ spanned by the small rigid categories. It is easy to see that a functor in $\mathbf{rig}$ is an equivalence of categories if and only if it is an isomorphism.

Then consider the 2-functor $\mathbf{Ab}(\cdot)=\operatorname{Hom}_{\mathbf{Cat}}((\cdot)^{\operatorname{op}},\mathbf{Ab}):\mathbf{rig}^{\operatorname{op}}\to \mathbf{Cat}$ sending a small rigid category to its associated category of abelian presheaves. Then if there is an equivalence of categories $\mathbf{Ab}(C) \simeq \mathbf{Ab}(D)$, where $C$ and $D$ are rigid, does this imply that $C$ is isomorphic to $D$?


No, this is false. Let $C$ be the monoid $\lbrace 1,\ldots, 2^n\rbrace$ with $\max$ as the operation and let $D$ be the power set of $\lbrace 1,\ldots, n\rbrace$ with $\cup$ as the operation. These are both join semilattices with identity of cardinality $2^n$. The integral monoid rings of two finite join semilattices with identity of the same cardinality are isomorphic by Mobius inversion. Of course there are no isomorphisms other than identities here. More precisely, they are both isomorphic to a direct product of $2^n$ copies of $\mathbb Z$. Of course for a monoid, abelian presheaves are the same as modules over the integral monoid ring.

See this paper of Solomon for the proof the algebras are isomorphic.

Added. Harry wanted an example where the categories are Cauchy complete. The Cauchy completions of these monoids are not isomorphic and are rigid. It is well known that for monoids $M$ and $N$ one has that $\mathbf{Set}^{M^{op}}\cong \mathbf{Set}^{N^{op}}$ if and only if there is an idempotent $e\in M$ with $MeM=M$ and $eMe\cong N$. In particular, if $M$ is finite, then one must have $e=1$ and so $M\cong N$. The two monoids I gave above are not isomorphic.

  • $\begingroup$ Great! I was hoping it was false, since it it were true, I'd have zero chance of extending the Dold-Kan theorem to a new context. $\endgroup$ May 21 '12 at 14:34
  • $\begingroup$ One other question, I guess. What if you require that the rigid categories are cauchy complete (i.e. all idempotents split)? $\endgroup$ May 21 '12 at 14:40
  • $\begingroup$ The Cauchy completions of the monoids I gave above are not isomorphic. Finite monoids are determined up to isomorphism by Morita equivalence of presheaf toposes. In general, two monoids $M$ and $N$ have equivalent classifying toposes iff there is an idempotent $e\in M$ such that $MeM=M$ and $eMe\cong N$. For finite monoids, this $e$ will have to be the identity. $\endgroup$ May 21 '12 at 14:43
  • $\begingroup$ Of course the Cauchy completions are rigid. $\endgroup$ May 21 '12 at 14:43
  • $\begingroup$ What if your categories are locally finite but have multiple objects? $\endgroup$ May 21 '12 at 14:45

This site is temporarily in read only mode and not accepting new answers.

Not the answer you're looking for? Browse other questions tagged .