The Stacks project

More about henselization and quasi-finite maps

Henselization is annoying as usual

Remove 'f.f.'

Sad IMHO.

Thanks to BCnrd, Dario Weissmann, and sdf
https://stacks.math.columbia.edu/tag/02JQ#comment-2762
https://stacks.math.columbia.edu/tag/02JQ#comment-2765
https://stacks.math.columbia.edu/tag/02JQ#comment-2766
https://stacks.math.columbia.edu/tag/02JQ#comment-2767

Define number of (geometric) brances

Artin's lemma for unibranch local rings

OK, I think of lemma-geometrically-unibranch as a lemma due to Artin
from his paper

Etale Coverings of Schemes Over Hensel Rings

but I just found out earlier today that it can also be found in
EGA IV as Proposition 18.8.15.

Unibranch and geometrically unibranch

Here we do a few things:
-- define the notions for local rings
-- move the algebra stuff into more-algebra.tex
-- define the notions for schemes
-- cleanup

Unibranch and geometrically unibranch

Here we do a few things:
-- define the notions for local rings
-- move the algebra stuff into more-algebra.tex
-- define the notions for schemes
-- cleanup

Fix formatting of some references

Fix references and tags

Fixed references to short titles

	using the script we will add in the next commit

Groupoid over field geom unibranch

	Also added a (virtually empty) chapter entitled "Spaces over
	Fields".

Groupoid over field geom unibranch

	Also added a (virtually empty) chapter entitled "Spaces over
	Fields".

Geometrically unibranch

	Just in order to state the local irreducibility of groupoid
	spaces on fields.