Abstract:We show that any functor between $\infty$-categories can be straightened. More precisely, we show that for any $\infty$-category $\mathcal{C}$, there is an equivalence between the $\infty$-category $(\mathrm{Cat}_{\infty})_{/\mathcal{C}}$ of $\infty$-categories over $\mathcal{C}$ and the $\infty$-category of unital lax functors from $\mathcal{C}$ to the double $\infty$-category $\mathrm{Corr}$ of correspondences. The proof relies on a certain universal property of the Morita category which is of independent interest.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is: **Whether any functor can be straightened**. More specifically, the author Thomas Blom shows that for any ∞ - category \(C\), there is an equivalence, that is, the equivalence between the ∞ - category on \(C\) and the unital lax functors from \(C\) to the corresponding double ∞ - category \(Corr\).
### Specific Problem Description
1. **Functor Straightening Problem**:
- The author explores the possibility of straightening any functor, especially for functors in ∞ - categories.
- By introducing the double ∞ - category \(Corr\), the author proves that for any ∞ - category \(C\), there is an equivalence, that is, the equivalence between the ∞ - category on \(C\) and the unital lax functors from \(C\) to \(Corr\).
2. **Main Theorem**:
- **Theorem A**: For any ∞ - category \(C\), there is an equivalence:
\[
(\text{Cat}_\infty)/C\simeq \text{Lax}_{\text{un}}(C, Corr)
\]
where \((\text{Cat}_\infty)/C\) represents the ∞ - category on \(C\), and \(\text{Lax}_{\text{un}}(C, Corr)\) represents the unital lax functors from \(C\) to \(Corr\).
3. **Universal Property of Morita Double ∞ - Category**:
- **Theorem B**: For any Moritable double ∞ - category \(D\), there is a Morita double ∞ - category \(\text{Mor}(D)\) which satisfies the following universal property:
\[
\text{Lax}(E, D)\simeq \text{Lax}_{\text{un}}(E, \text{Mor}(D))
\]
For any double ∞ - category \(E\), this equivalence is natural.
### Key Points of the Solution
- **Application of Double ∞ - Category**: The author uses the double ∞ - category to define and handle functors, thus solving the straightening problem.
- **Morita Double ∞ - Category**: By introducing the Morita double ∞ - category, the author provides a new method to understand the straightening of functors.
- **Preliminary Results**: The author first proves a preliminary straightening equivalence and then gradually extends it to more general cases.
### Summary
The main contribution of this paper lies in showing how to straighten any functor into a unital lax functor, and by introducing the double ∞ - category \(Corr\) and the Morita double ∞ - category, it provides a new theoretical framework to understand and handle this problem. This not only extends the existing straightening - non - straightening theorems but also provides new tools and perspectives for further research in higher - category theory.