昨日の逆をやる。つまりpseudofunctorからfibrationを作る話。 Grothendieck construction in nLab ここの説明によるとlax-pointed categories Cat_{*,l} \to CatのF:C \to Catによる2-pullbackのことらしい。 これをもう少し詳しく見ていく。 まずlax-point…