6
$\begingroup$

I mean by the nerve functor.

Given a 2-category $\mathcal{C}$, if we forget the 2-category structure (just view $\mathcal{C}$ as a category), the nerve functor will give us a simplicial set $N\mathcal{C}$. However, $\mathcal{C}$ is a 2-category, thus for any two objects $x,y\in\mathcal{C}$, $Hom_{\mathcal{C}}(x,y)$ is a category, applying the nerve functor gives us a simplicial set $N(Hom(x,y))$.

My question is, can these two simplicial set structure compatible in some way, gives us a bisimplicial set $N_{p,q}(\mathcal{C})$, say? Or is there another way to give a bisimplicial structure on a 2-category?

Improve this question
$\endgroup$

1 Answer 1

Reset to default
5
$\begingroup$

Yes. This is called the double nerve of a 2-category.

See in particular the first reference cited at that link.

Improve this answer
$\endgroup$
2
  • $\begingroup$ Thanks a lot! But I can't open the .pdf file of the first reference. Am I the only one suffering from this problem? $\endgroup$
    – Fei
    Commented Nov 17, 2009 at 13:40
  • $\begingroup$ I have added the arXiv link now: arxiv.org/abs/math.CT/0406615 $\endgroup$
    – Urs Schreiber
    Commented Nov 17, 2009 at 13:51

You must log in to answer this question.

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