@misc{indiciaef46ea595f144, title = {For Generalised Algebraic Theories, Two Sorts Are Enough}, author = {Samy Avrillon and Ambrus Kaposi and Ambroise Lafont and Niyousha Najmaei and Johann Rosain}, year = {2026}, url = {https://arxiv.org/abs/2601.19426}, note = {Source identifier: 2601.19426} }