Pith. sign in

REVIEW 1 cited by

A homotopy coherent nerve for $(\infty,n)$-categories

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2208.02745 v3 pith:YLC5WG5V submitted 2022-08-04 math.AT math.CT

classification math.ATmath.CT
keywords categoriescoherenthomotopyinftyenrichedfunctorsnervecategorifications
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

In the case of $(\infty,1)$-categories, the homotopy coherent nerve gives a right Quillen equivalence between the models of simplicially enriched categories and of quasi-categories. This shows that homotopy coherent diagrams of $(\infty,1)$-categories can equivalently be defined as functors of quasi-categories or as simplicially enriched functors out of the homotopy coherent categorifications. In this paper, we construct a homotopy coherent nerve for $(\infty,n)$-categories. We show that it realizes a right Quillen equivalence between the models of categories strictly enriched in $(\infty,n-1)$-categories and of Segal category objects in $(\infty,n-1)$-categories. This similarly enables us to define homotopy coherent diagrams of $(\infty,n)$-categories equivalently as functors of Segal category objects or as strictly enriched functors out of the homotopy coherent categorifications.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The category of necklaces is a test category

    math.CT 2026-07 accept novelty 6.0 of 10

    The category of necklaces is a test category, so its presheaf category is a model for homotopy types.

Pith tools