The Stacks project

diagram category ---> index category

Thanks to Yuto Masamura
https://stacks.math.columbia.edu/tag/04AT#comment-6279

Fix typo in proof

Thanks to Kazuki Masugi
https://stacks.math.columbia.edu/tag/04AS#comment-3992
https://stacks.math.columbia.edu/tag/04AS#comment-3993

categories.tex

herewith i send you categories.tex with seven typos corrected

Change definition of connected: require nonempty

Thanks to Burt Totaro

LaTeX: Remove useless brackets

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.

LaTeX: \Mor

	Introduced a macro

	\def\Mor{\mathop{\rm Mor}\nolimits}

	and replaced all the occurences of \text{Mor} with \Mor.

Finite limits

	A bit of clarification on this abstract topic.

Tags: Added new tags

Smorgasbord of changes

	Loose ends:
		algebra: add colimit over almost directed cats
		sites-modules: exactness of g_!
		more-morphisms: exactness of g_!
		spaces-morphisms: closed immersions and sheaves
		spaces-more-morphisms: conormal sheaves
	should be fixed up soon