昨日の続き。 F:C \to Catをpseudofunctorとする。 これからfibration \int F \to CをCat_{*,l} \to CatのFでの2-pullbackとして定義する。 2-pullbackの定義はとりあえず2-categoryの圏でのpullbackとして適当に理解することにする。 - 0-cellは0-cellのpul…