A simplicial category for higher correspondences

Redi Haderi

In this work we propose a realization of Lurie's prediction that inner fibrations $p:X\to A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects…