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.
I have removed the sentence
One may say that ’fibre bundles are fibrations’ by the Milnor slide trick.
from the Idea-section, and instead added a section Properties – Relation to fibrations (here) with statement that fiber bundles are fibrations, and a warning that the converse fails.
added pointer to:
added pointer to:
Added (here) my best attempt at replacing the “(diagram to come)” text that’s been “to come” for 14 years. Comments and improvements welcome, in particular:
Thanks, looks good.
I’m not sure about how to render isomorphisms, I just went with headless arrows.
I would certainly want to keep the arrow head on any isomorphism: The direction matters, even if there is an inverse.
In tikzcd
I find a good way to code isos is by “\ar[..., "\sim"{sloped}]
”.
Thanks, looks good!
1 to 8 of 8