We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Joyal's cylinder conjecture

Abstract: For each pair of simplicial sets $A$ and $B$, the category $\mathbf{Cyl}(A,B)$ of cylinders (also called correspondences) from $A$ to $B$ admits a model structure induced from Joyal's model structure for quasi-categories. In this paper, we prove Joyal's conjecture that a cylinder $X \in \mathbf{Cyl}(A,B)$ is fibrant if and only if the canonical morphism $X \longrightarrow A \star B$ is an inner fibration, and that a morphism between fibrant cylinders in $\mathbf{Cyl}(A,B)$ is a fibration if and only if it is an inner fibration. We use this result to give a new proof of a characterisation of covariant equivalences due to Lurie, which avoids the use of the straightening theorem. In an appendix, we introduce a new family of model structures on the slice categories $\mathbf{sSet}/B$, whose fibrant objects are the inner fibrations with codomain $B$, which we use to prove some new results about inner anodyne extensions and inner fibrations.
Comments: 27 pages
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)
MSC classes: 18G30, 18G55, 55U10, 55U35
Cite as: arXiv:1911.02631 [math.CT]
  (or arXiv:1911.02631v1 [math.CT] for this version)

Submission history

From: Alexander Campbell [view email]
[v1] Wed, 6 Nov 2019 21:24:00 GMT (27kb,D)

Link back to: arXiv, form interface, contact.