Grothendieck fibration in nLab fibrationとpseudofunctorの関係について。 p:E \to Bがfibrationとする。 B^opをどのようにbicategoryとみなすかだが、射の集合を射が一点のみの圏とすればよさそう。 これに対しpseudofunctor P:B^op \to Catを - 0-cellの…