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$ – Harry Gindi 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$ – Harry Gindi 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$ – Benjamin Steinberg May 21 '12 at 14:43
  • $\begingroup$ Of course the Cauchy completions are rigid. $\endgroup$ – Benjamin Steinberg May 21 '12 at 14:43
  • $\begingroup$ What if your categories are locally finite but have multiple objects? $\endgroup$ – Harry Gindi May 21 '12 at 14:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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