1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
|
%%% template.tex
%%% This is a template for making up an AMS-LaTeX file
%%% Version of December 16, 1992
%%%------------------------------------------------------------------
%%% The following documentstyle command chooses 12 point type (instead
%%% of the default 10 point), allows us to use the commutative
%%% diagram macros, and defines the standard names for all of the
%%% special symbols in the AMSfonts package:
\documentstyle[12pt,amscd,amssymb]{amsart}
%%% This part of the file (after the documentstyle command, but before
%%% the \begin{document}) is called the ``preamble''. This is a good
%%% place to put our macro definitions.
\newcommand{\tensor}{\otimes}
\newcommand{\homotopic}{\simeq}
\newcommand{\homeq}{\cong}
\newcommand{\iso}{\approx}
\newcommand{\ho}{\operatorname{Ho}}
% Homotopy direct limit:
\newcommand{\hodlim}{\underrightarrow
{\operatorname{\mathstrut holim}}}
% Homotopy inverse limit:
\newcommand{\hoilim}{\underleftarrow
{\operatorname{\mathstrut holim}}}
\newcommand{\C}{{\cal C}}
\newcommand{\M}{{\cal M}}
\newcommand{\W}{{\cal W}}
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%% The Theorem environments:
%%%
%%%
%%% The following commands set it up so that:
%%%
%%% All Theorems, Corollaries, Lemmas, Propositions, Definitions,
%%% Remarks, and Examples will be numbered in a single sequence, and
%%% the numbering will be within each section.
%%%
%%% Anything called `bigthm' in the TeXfile will be printed as
%%% Theorem, but will be numbered in a separate sequence, named
%%% Theorem A, Theorem B, Theorem C, etc.
%%%
%%%
%%% Notations and Terminologies will not be numbered.
%%%
%%% 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}
%%%
%%% Theorem: (Numbered separately, as Theorem A, etc.)
%%% \begin{bigthm}
%%%
%%% \end{bigthm}
%%%
%%% 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
\theoremstyle{plain} %% This is the default, anyway
\begingroup % Confine the \theorembodyfont command
\theorembodyfont{\sl}
\newtheorem{bigthm}{Theorem} % Numbered separately, as A, B, etc.
\newtheorem{thm}{Theorem}[section] % Numbered within each section
\newtheorem{cor}[thm]{Corollary} % Numbered along with thm
\newtheorem{lem}[thm]{Lemma} % Numbered along with thm
\newtheorem{prop}[thm]{Proposition} % Numbered along with thm
\endgroup
%%% We need to do the following outside of any group,
%%% since it's not \global:
\renewcommand{\thebigthm}{\Alph{bigthm}} % Number as "Theorem A."
\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % Numbered along with thm
\theoremstyle{remark}
\newtheorem{rem}[thm]{Remark} % Numbered along with thm
\newtheorem{ex}[thm]{Example} % Numbered along with thm
\newtheorem{notation}{Notation}
\renewcommand{\thenotation}{} % to make the notation
% environment unnumbered
\newtheorem{terminology}{Terminology}
\renewcommand{\theterminology}{} % to make the terminology
% environment unnumbered
%%%-------------------------------------------------------------------
%%% The following causes equations to be numbered within sections:
\numberwithin{equation}{section}
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
\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
\author{}
%%% In the address, show linebreaks with double backslashes:
\address{}
%%% Email address is optional. If you include it, use a double at
%%% sign "@@" to produce a single at sign in the printed copy, e.g.,
%%% \email{nsteenrod@@math.princeton.edu}
\email{}
%%% To have the current date inserted, use \date{\today}:
\date{}
\maketitle
%%% To include a table of contents, uncomment the next line:
% \tableofcontents
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%% Start the body of the paper here! E.G., maybe use:
%%% \section{Introduction}
%%% \label{sec:intro}
%%%-------------------------------------------------------------------
%%%-------------------------------------------------------------------
%%% The number "10" that appears in the next command is a TOTALLY
%%% RANDOM NUMBER which is chosen so that if it was printed, it would
%%% be at least as wide as any number of an item in the bibliography:
\begin{thebibliography}{10}
%%% The format of bibliography items is as in the following examples:
%%%
%%% \bibitem{yellowmonster}
%%% A. K. Bousfield and D. M. Kan, {\em Homotopy Limits, Completions
%%% and Localizations,} Lecture Notes in Mathematics number 304,
%%% Springer-Verlag, New York, 1972.
%%%
%%% \bibitem{HA}
%%% D. G. Quillen, {\em Homotopical Algebra,} Lecture Notes in
%%% Mathematics number 43, Springer-Verlag, Berlin, 1967.
\end{thebibliography}
\end{document}
|