Embeddings in Topos Theory and HoTT Published: February 12, 2018Share on Twitter Facebook Google+ LinkedIn Previous Next