\documentclass{amsart}

% The following AMS packages are automatically loaded with amsart 
% documentclass:
%\usepackage{amsmath}
%\usepackage{amssymb}
%\usepackage{amsthm}

% For commutative diagrams you can use
\usepackage{amscd}
% but Jason prefers xypic
% \usepackage[all]{xy}

% To put source file link in headers.
% Change "introduction.tex" to "this_filename.tex"
\usepackage{fancyhdr}
\pagestyle{fancy}
\lhead{}
\chead{}
\rhead{Source file: \url{src/conventions.tex}}
\lfoot{}
\cfoot{\thepage}
\rfoot{}
\renewcommand{\headrulewidth}{0pt}
\renewcommand{\footrulewidth}{0pt}
\renewcommand{\headheight}{12pt}

% For cross-file-references
\usepackage{xr-hyper}

% Package for hypertext links:
\usepackage[colorlinks=true]{hyperref}
% For any local file, say "hello.tex" you want to refer to please use
\externaldocument[sets-]{sets}


% The macro \autoref uses the macros \figurename, etc.
% We list the default values and we change some of them
% to start with a captial.
% Figure	\figurename
% Table		\tablename
% Part		\partname
% Appendix	\appendixname
% Equation	\equationname
% item		\Itemname
% \renewcommand{\Itemname}{Item}
\renewcommand{\Itemautorefname}{Item}
% chapter	\Chaptername
% \renewcommand{\Chaptername}{Chapter}
% \renewcommand{\Chapterautorefname}{Chapter}
% section	\sectionname
\renewcommand{\sectionname}{Section}
\renewcommand{\sectionautorefname}{Section}
% subsection	\subsectionname
\renewcommand{\subsectionname}{Subsection}
\renewcommand{\subsectionautorefname}{Subsection}
% subsubsection	\subsubsectionname
\renewcommand{\subsubsectionname}{Subsubsection}
\renewcommand{\subsubsectionautorefname}{Subsubsection}
% paragraph	\paragraphname
\renewcommand{\paragraphname}{Paragraph}
\renewcommand{\paragraphautorefname}{Paragraph}
% footnote	\Hfootnotename
% \renewcommand{\Hfootnotename}{Footnote}
\renewcommand{\Hfootnoteautorefname}{Footnote}
% Equation	\AMSname
% Theorem	\theoremname


% Theorem environments.
%
\newtheorem{theorem}{Theorem}[subsection]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{situation}[theorem]{Situation}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{remarks}[theorem]{Remarks}

\numberwithin{equation}{subsection}


% OK, start here
%
\begin{document}

\title{Conventions used in the Algebraic Stacks Documents}

%\begin{abstract}
%\end{abstract}

\maketitle
\thispagestyle{fancy}

\tableofcontents

\section{Comments}
\label{section-comments}

\noindent
The philosophy behind the conventions used in writing these documents is
to choose those conventions that work. In the end the precise choices we 
make here probably do not make a big difference in the resulting theory 
of algebraic stacks of finite type over the integers (or over a field, 
or over an excellent Noetherian ring). Also, perhaps the higher level
thoery is flexible enough so as to allow for different choices here, but
still we have to choose one.

\smallskip\noindent
Occasionally it will be necessary to have use notation that does not follow 
the conventions. In this case it will always be explicitly stated.

\section{Set theory} 
\label{section-sets}

\noindent
We use Zermelo-Fraenkel set theory with the axiom of choice.
See \cite{Kunen}.

\section{Categories} 
\label{section-categories}

\noindent
A category $C$ consists of a set of objects, and for each pair of objects
a set of morphisms between them. There are no set theoretic difficulties
in defining functors and natural transformations of functors. We will call
a natural transformation of functors $F \to G$ simply a morphism of functors.

\section{Algebra}
\label{section-algebra}

\noindent
In these notes a ring is a commutative ring with a $1$. Hence the
category of rings has an initial object $\mathbf{Z}$ and a final
object $\{0\}$ (this is the unique ring where $1=0$). Modules are 
assumed unitary. See \cite{E}.

\smallskip\noindent
To continue reading, 
\begin{enumerate}

\item visit the next section: Sets,
\autoref{sets-section-introduction}, or 

\item go back to the
table of contents: \url{index.html#contents}.

\end{enumerate}

\bibliography{my}
\bibliographystyle{alpha}

\end{document}