Here are some resources on Universes in type theory:

  • Notes from Zhaohui Luo's talk are here.

Feel free to add more.