@inproceedings{gratzer-2025-the, title={The Yoneda embedding in simplicial type theory}, url={http://dx.doi.org/10.1109/lics65433.2025.00017}, DOI={10.1109/lics65433.2025.00017}, booktitle={2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, publisher={IEEE}, author={Gratzer, Daniel and Weinberger, Jonathan and Buchholtz, Ulrik}, year={2025}, month=June, pages={127–142} }