Hoang Kim Nguyen & Taichi Uemura. \(\infty \)-type theories. 2022. https://arxiv.org/abs/2205.00798v1