The Stacks project

Updated the list of big 2 categories

These appear in
Definition 02XS
Definition 02ZG
Definition 02ZK
Definition 0433
Definition 03YP

Improve a remark in categories

Thanks to Manuel Hoff
https://stacks.math.columbia.edu/tag/003J#comment-5392

Minor typos/corrections

Thanks to Amit Hogadi

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.

Typos

	Thanks to Lars Kindler

Cleaned up some of the notation on fibred categories

	modified:   categories.tex
	modified:   scripts/parse.py
	modified:   spaces.tex
	modified:   tags/tags

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

More neurotic changes

Typos, typos, typos...

	modified:   categories.tex
	modified:   coding.tex
	modified:   conventions.tex

Introduce (2,1)-categories.

	modified:   categories.tex