\documentclass{amsart}

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

% For commutative diagrams.
\usepackage{amscd}

% 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/sites.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:
% Change ?? in \hyperbaseurl{??}
\usepackage{hyperref}
\externaldocument[conventions-]{conventions}
% \hyperbaseurl{http://www.math.columbia.edu/~dejong/stacks-0.1/}

\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}

\begin{document}

\title{Sites and Sheaves}

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

\maketitle
\thispagestyle{fancy}

\section{Introduction}
\label{section-introduction}

\noindent
The notion of a site was introduced by Grothendieck to be able to sudy 
sheaves in the \'etale topology of schemes. The basic reference for this
notion is perhaps \cite{SGA4}. 

\subsection{Topologies}

\noindent
Let $C$ be a category, see 
Conventions, Section \ref{conventions-section-categories}. 
In the following the notation $\{U_i \to U\}_{i\in I}$ means that 
$U \in \text{Ob}(C)$, that $I$ is a set and that for each $i\in I$ 
we are given a morphism $U_i \to U$ of $C$ with target $U$. The collection
of all $\{U_i \to U\}_{i\in I}$ forms a category. Namely, a morphism
$\{U_i \to U\}_{i\in I} \to \{V_j \to V\}_{j\in J}$ is given by
a morphism $U \to V$, a map of sets $\alpha : I \to J$ and
for each $i\in I$ a morphism $U_i \to V_{\alpha(i)}$ such that
the diagram 
$$
\begin{CD}
U_i	@>>>	V_{\alpha(I)}		\\
@VVV		@VVV			\\
U	@>>>	V			\\
\end{CD}
$$
is commutative. 

\smallskip\noindent
Later we will actually use 
Conventions, Lemma \ref{conventions-lemma-categories-small}, 
but here we refer to it just to test cross-referencing.

\bibliography{my}
\bibliographystyle{alpha}

\end{document}