Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Hi,
I happened to notice today that there are problems with the proof of Lemma 1. Unfortunately, I do not have time to fix this myself, but I thought I’d let you know.
It can be fixed as follows.
1) Define ˆX to be the pullback of f×id:X×Y→Y×Y and the map YI→Y×Y which is currently denoted (I would not use this notation myself!) by (d0,d1).
2) The required map p:Z→Y is the composite of the map Z→X×Y which is part of the pullback of 1), and the projection map X×Y→Y.
3) The required fibration Z→X arises in the same way as in 2), but composing with the the other projection map instead,
4) The required map X→Z arises via the universal property of the pullback by using the map f∘c:X→YI, where c is the map Y→YI appearing in the factorisation which defines YI, and the map id×f:X→X×Y.
Okay, so Chrome messes up the preview but is fine once the post is posted. Probably due to the interaction of javascripts between inserting the preview and re-running MathJaX on the page.
For my own future reference, the solution would appear to be documented here.
Also, the initial post in this thread is a copy of a post by Richard Williamson who reported the issue (so the “I” is not me but him!).
1 to 4 of 4