>>788

加藤十吉「位相幾何学」では
「ファンカンペン図式は押し出し図式である」という格好で
証明していて、本質的にはここのGrothendieck式ではないかと思いますが
どうですか？
エラーの原因が分からない？