Pith. sign in

REVIEW 1 cited by

On Infinity Topoi

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

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 math/0306109 v2 pith:SXNDRN6V submitted 2003-06-05 math.CT math.AT

Jacob Lurie This is my paper · ORCID
classification math.CTmath.AT
keywords theorytopoiinfinityanaloguecategoricalclassicaldefinedefinitions
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

In this paper we investigate an infinitely categorical analogue of the theory of Grothendieck topoi. In particular, we define infinity topoi and prove an analogue of Giraud's theorem, expressing the equivalence of ``intrinsic'' and ``extrinsic'' definitions. We also discuss the relationship between the theory of infinity topoi and classical topics in homotopy theory and dimension theory.

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. Presheaves and cocompletions in formal category theory

    math.CT 2026-04 unverdicted novelty 7.0 of 10

    In virtual equipments with mild assumptions, presheaf constructions provide free cocompletions under classes of weights, extending weighted colimits and enabling constructions for enriched categories in monoidal categ...

Pith tools