\(i\)を階数、\(A:\mathcal {U}(i)\)を型、\(a_{1},a_{2}:A\)を要素、\(p:a_{1}=a_{2}\)を同一視とする。同一視\(\mathord {\textnormal {\textsf {inv-l}}}(p):{p}^{-1}\circ p=\mathord {\textnormal {\textsf {refl}}}\)と\(\mathord {\textnormal {\textsf {inv-r}}}(p):p\circ {p}^{-1}=\mathord {\textnormal {\textsf {refl}}}\)を構成せよ。