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 split off formally etale morphism from etale morphism. Then I added the general-abstract topos theoretic characterization, essentially by copy-and-pasting the discussion from formally smooth morphism (and replacing epimorphisms by isomorphisms)
Is equation (1) right at formally etale morphism? In that it has a instead of a …
It just looks funny to me, in that you could have used instead.
it’s supposed to be the fiber product, yes. I thought the bigger the symbol for , the more reason to use instead of ! :-)
I raised this TeX.SE question in order to pretty up the situation. Unfortunately, the maths I was trying to use didn’t work there, so here it is: $one \sideset{}{_{three}}\prod two$
(in source form, because it doesn’t work here either).
Hmm, how about
no, that doesn’t work, at least here.
I have added in the References-section at formally etale morphism a mentioning of Joyal’s lectures from the 1970 where the pullback-definition discussed in the entry apparently first appears (is there any printed trace of these lectures?) and to an article by Dubuc where this is recalled / discussed.
This page had several links to nlab.mathforge.org … they were constructed using an explicit html
<a>
tag instead of the usual markup for cross-referencing on the nlab with double brackets.
I guess whoever made then didn’t know how to link to sections and HowTo#links_to_sections doesn’t help much and really needs to be updated.
In particular one can just use “pipe” naming: [[HowTo#links_to_sections|linking sections]]
-> linking sections.
EDIT: I’m now working on updating HowTo#how_to_make_links_to_subsections_of_a_page
Thanks for the alert in #8. I don’t know what happened there. I have removed the first sentence and added another paragraph. (But I don’t have time to do this entry justice right now).
Regarding the funny links: This is a remnant from the early dates of the Lab. I don’t think there are many of these left.
1 to 10 of 10