Lately there has been a lot of progress on the foundations of $(\infty,2)$-categories (for example, all currently-known models for them [were shown](https://arxiv.org/abs/1911.01905) to be equivalent and finally we have a [construction](https://arxiv.org/abs/2003.11757) of the Gray tensor product).


While I'm aware they are used in Gaitsgory–Rozenblyum, I don't know of any other applications (out of ignorance, not because there aren't other ones)...


* Q$\_1$: What are some current applications of $(\infty,2)$-categories (say in homotopy theory or DAG)?
* Q$\_2$: What are some expected future applications of them, say as the theory gets in a better overall shape and starts to be more widely-adopted?



$(\infty,2)$-categories: current applications and future prospects
Topological field theory (TFT) is a major client of higher-dimensional category theory. For $(\infty,
2)$-categories specifically, this specializes to two-dimensional TFT. One significant research area in this field
is taking physics ideas, making them mathematically rigorous, and then using the resulting mathematical objects to
prove interesting theorems internal to mathematics.


For example, string theorists originally predicted a form of duality now known as “mirror symmetry,”
coming out of a more general physics phenomenon called T-duality. The context is that given $X$ a Calabi-Yau
$3$-fold, physicists studied a two-dimensional supersymmetric quantum field theory called "the sigma model with
target $X$" and found that it admits two twists, called the A and B models, which are topological field theories
(in the physicists' sense). Mirror symmetry predicts that given $X$, there is another CY3 called the *mirror*
of $X$ and denoted $X^\vee$, such that the A model with target $X$ is equivalent to the B model with target
$X^\vee$, and vice versa.


Now, because these are topological field theories, it should be possible to make sense of them mathematically:
the A and B model should admit descriptions as symmetric monoidal functors from an $(\infty, 2)$-category of
bordisms in dimension 2 to some target $(\infty, 2)$-category. This has amounted to a lot of hard work by many
teams of researchers, but large parts of this story have been translated into mathematics, and the
higher-categorical language is important here!


