The Yoneda embedding in simplicial type theory.

Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz

Browse the full LICS paper archive.