Recognition: unknown
On Infinity Topoi
classification
🧮 math.CT
math.AT
keywords
theorytopoiinfinityanaloguecategoricalclassicaldefinedefinitions
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.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
Presheaves and cocompletions in formal category theory
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...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.