I'm in a similar situation, I hope these couple of pieces about univalent foundations are useful: https://www.ias.edu/ideas/2014/voevodsky-origins https://www.i

I'm in a similar situation, I hope these couple of pieces about univalent foundations are useful: https://www.ias.edu/ideas/2014/voevodsky-origins https://www.ias.edu/ideas/2014/voevodsky-origins, https://www.ias.edu/ideas/2013/awodey-coquand-univalent-foundations https://www.ias.edu/ideas/2013/awodey-coquand-univalent-foun...