The Stacks project

G should be calligraphic in sites-cohomology

Thanks to Anonymous
https://stacks.math.columbia.edu/tag/03AG#comment-2761

LaTeX: \Ob

	Introduced a macro

	\def\Ob{\mathop{\rm Ob}\nolimits}

	and replaced any occurence of \text{Ob}( with \Ob(. There are
	still some occurences of \text{Ob} but these are sets, not the
	operator that takes the set of objects of a category.

Infinitesimal lifting criterion

	Proof (finally) of the relation between smooth and formally
	smooth morphisms of algebraic spaces.

Tags: Added new tags to the project

	modified:   tags/tags

Sites-Cohomology: Torsors and H^1

	Also a few typos

	modified:   cohomology.tex
	modified:   sites-cohomology.tex
	modified:   sites.tex
	modified:   topologies.tex