%%% template.tex
%%% This is a template for making up an AMS-LaTeX file
%%% Version of February 12, 2011
%%%---------------------------------------------------------
%%% The following command chooses the default 10 point type.
%%% To choose 12 point, change it to
%%% \documentclass[12pt]{amsart}
\documentclass{amsart}

%%% The following command loads the amsrefs package, which will be
%%% used to create the bibliography:
\usepackage[lite]{amsrefs}

%%% The following command defines the standard names for all of the
%%% special symbols in the AMSfonts package, listed in
%%% http://www.ctan.org/tex-archive/info/symbols/math/symbols.pdf
\usepackage{amssymb}

%%% The following commands allow you to use \Xy-pic to draw
%%% commutative diagrams.  (You can omit the second line if you want
%%% the default style of the nodes to be \textstyle.)
\usepackage[all,cmtip]{xy}
\let\objectstyle=\displaystyle

%%% If you'll be importing any graphics, uncomment the following
%%% line.  (Note: The spelling is correct; the package graphicx.sty is
%%% the updated version of the older graphics.sty.)
% \usepackage{graphicx}



%%% This part of the file (after the \documentclass command,
%%% but before the \begin{document}) is called the ``preamble''.
%%% This is where we put our macro definitions.

%%% Comment out (or delete) any of these that you don't want to use.
\newcommand{\tensor}{\otimes}
\newcommand{\homotopic}{\simeq}
\newcommand{\homeq}{\cong}
\newcommand{\iso}{\approx}

\DeclareMathOperator{\ho}{Ho}
\DeclareMathOperator*{\colim}{colim}

\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\Z}{\mathbb{Z}}

\newcommand{\M}{\mathcal{M}}
\newcommand{\W}{\mathcal{W}}

\newcommand{\itilde}{\tilde{\imath}}
\newcommand{\jtilde}{\tilde{\jmath}}
\newcommand{\ihat}{\hat{\imath}}
\newcommand{\jhat}{\hat{\jmath}}



%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%% The Theorem environments:
%%%
%%%
%%% The following commands set it up so that:
%%% 
%%% All Theorems, Corollaries, Lemmas, Propositions, Definitions,
%%% Remarks, Examples, Notations, and Terminologies  will be numbered
%%% in a single sequence, and the numbering will be within each
%%% section.  Displayed equations will be numbered in the same
%%% sequence. 
%%% 
%%% 
%%% Theorems, Propositions, Lemmas, and Corollaries will have the most
%%% formal typesetting.
%%% 
%%% Definitions will have the next level of formality.
%%% 
%%% Remarks, Examples, Notations, and Terminologies will be the least
%%% formal.
%%% 
%%% Theorem:
%%% \begin{thm}
%%% 
%%% \end{thm}
%%% 
%%% Corollary:
%%% \begin{cor}
%%% 
%%% \end{cor}
%%% 
%%% Lemma:
%%% \begin{lem}
%%% 
%%% \end{lem}
%%% 
%%% Proposition:
%%% \begin{prop}
%%% 
%%% \end{prop}
%%% 
%%% Definition:
%%% \begin{defn}
%%% 
%%% \end{defn}
%%% 
%%% Remark:
%%% \begin{rem}
%%% 
%%% \end{rem}
%%% 
%%% Example:
%%% \begin{ex}
%%% 
%%% \end{ex}
%%% 
%%% Notation:
%%% \begin{notation}
%%% 
%%% \end{notation}
%%% 
%%% Terminology:
%%% \begin{terminology}
%%% 
%%% \end{terminology}
%%% 
%%%       Theorem environments

% The following causes equations to be numbered within sections
\numberwithin{equation}{section}

% We'll use the equation counter for all our theorem environments, so
% that everything will be numbered in the same sequence.

%       Theorem environments

\theoremstyle{plain} %% This is the default, anyway
\newtheorem{thm}[equation]{Theorem}
\newtheorem{cor}[equation]{Corollary}
\newtheorem{lem}[equation]{Lemma}
\newtheorem{prop}[equation]{Proposition}

\theoremstyle{definition}
\newtheorem{defn}[equation]{Definition}

\theoremstyle{remark}
\newtheorem{rem}[equation]{Remark}
\newtheorem{ex}[equation]{Example}
\newtheorem{notation}[equation]{Notation}
\newtheorem{terminology}[equation]{Terminology}

%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
\begin{document}

%%% In the title, use a double backslash "\\" to show a linebreak:
%%% Use one of the following two forms:
%%% \title{Text of the title}
%%% or
%%% \title[Short form for the running head]{Text of the title}
\title{}


%%% If there are multiple authors, they're described one at a time:
%%% First author: \author{} \address{} \curraddr{} \email{} \thanks{}
%%% Second author: \author{} \address{} \curraddr{} \email{} \thanks{}
%%% Third author: \author{} \address{} \curraddr{} \email{} \thanks{}
\author{}

%%% In the address, show linebreaks with double backslashes:
\address{}

%%% Current address is optional.
% \curraddr{}

%%% Email address is optional.
% \email{}


%%% If there's a second author:
% \author{}
% \address{}
% \curraddr{}
% \email{}


%%% To have the current date inserted, use \date{\today}:
\date{}

%%% To include an abstract, uncomment the following two lines and type
%%% the abstract in between them:
% \begin{abstract}
% \end{abstract}


\maketitle

%%% To include a table of contents, uncomment the following line:
% \tableofcontents


%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%% Start the body of the paper here!  E.G., maybe use:
%%% \section{Introduction}
%%% \label{sec:intro}

%%% For a numbered display, use
%%% \begin{equation}
%%%   \label{something}
%%%   The display goes here
%%% \end{equation}
%%% and you can refer to it as \eqref{something}.

%%% For an unnumbered display, use
%%% \begin{equation*}
%%%   The display goes here
%%% \end{equation*}

%%% To import a graphics file, you must have said
%%% \usepackage{graphicx}
%%% in the preamble (i.e., before the \begin{document}).
%%% Putting it into a figure environment enables it to float to the
%%% next page if there isn't enough room for it on the current page.
%%% The \label command must come after the \caption command.
% \begin{figure}[h]
%   \includegraphics{filename}
%   \caption{Some caption}
%   \label{somelabel}
% \end{figure}















%%% -------------------------------------------------------------------
%%% -------------------------------------------------------------------
%%% This is where we create the bibliography.

\begin{bibdiv}
  \begin{biblist}

%%% The format of bibliography items is as in the following examples:
%%% 
%%% \bib{yellowmonster}{book}{
%%%   author={Bousfield, A.K.},
%%%   author={Kan, D.M.},
%%%   title={Homotopy Limits, Completions and Localizations},
%%%   date={1972},
%%%   series={Lecture Notes in Mathematics},
%%%   volume={304},
%%%   publisher={Springer-Verlag},
%%%   address={Berlin-New York}
%%% }

%%% \bib{HA}{book}{
%%%   author={Quillen, Daniel G.},
%%%   title={Homotopical Algebra},
%%%   series={Lecture Notes in Mathematics},
%%%   volume={43},
%%%   publisher={Springer-Verlag},
%%%   address={Berlin-New York},
%%%   date={1967}
%%% }

%%% \bib{serre:shfs}{article}{
%%%   author={Serre, Jean-Pierre},
%%%   title={Homologie Singuli\`ere des Espaces Fibr\'es.  Applications},
%%%   journal={Ann. of Math. (2)},
%%%   date={1951},
%%%   volume={54},
%%%   pages={425--505}
%%% }





  \end{biblist}
\end{bibdiv}

\end{document}