しばらく Grothendieck fibration in nLab あたりの記事を読んでいく。 関手p:E \to Bを考える。 Eの射\phi:e' \to eがcartesianとは任意の\psi:e'' \to eおよびg:p(e'') \to p(e')であってp(\psi)=p(\phi)gなるものに対し、\chi:e'' \to e'であって\psi=\ch…