MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Taking the nerve of a groupoid gives a simplicial set. This is functorial $N:{\mathbf{Grpd}}\to {\mathbf{sSet}}$. NLab tells me that, in general, nerve has a left adjoint, which is geometric realization. Does the nerve $N$ have a right adjoint?

Even better, does $N:{\mathbf{Cat}}\to{\mathbf{sSet}}$ have a right adjoint?

I realize I may be asking for too much, as here we are working internally to the topos ${\mathbf{Set}}$. Maybe it is better ask this question internal to an $(\infty,1)$-topos and ask only that the right adjoint exists up to homotopy. I would be interested in the respective answers for the $(\infty,1)$-topos ${\mathbf{sSet}}$ and ${\mathbf{Top}}$ instead of the topos ${\bf{Set}}$, which are basically the same up to homotopy.

share|cite|improve this question
In the groupoid case, the "geometric realization" of a simplicial set is its homotopy groupoid? – Ma Ming Nov 30 '11 at 8:04
@Colin: It does not have a right adjoint, because as you will see with toy examples, it does not preserve colimits. – Martin Brandenburg Nov 30 '11 at 8:36
Thank you Martin! – user2529 Nov 30 '11 at 8:55
To complement Martin's comment, see Zhen Lin's answer here. – Sanath K. Devalapurkar Aug 11 '14 at 17:03

Your Answer


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