[文献とか] Thierry Coquandのスライド http://www.cse.chalmers.se/~coquand/equality.pdf Mike Shulmanのスライド http://www.math.ucsd.edu/~mshulman/hottseminar2012/01intro.pdf あたりを読めば大筋は分かる気がする現時点で、まとまったレビューや教…