The double nerve of a 2-category is a bisimplicial set obtained by regarding as a Cat-enriched category or a Cat-internal category and then applying the ordinary nerve operation to each hom-object category to obtain first a simplicially enriched category and then to apply the obvious nerve operation again to obtain a bisimplicial set.
See for instance page 227 of
or page 39 of
Last revised on November 17, 2009 at 20:53:14. See the history of this page for a list of all contributions to it.