% File: my_list.sty
% Name: �⨫���� 䠩�
%

\usepackage{amssymb}

\topmargin=-1.5cm
\oddsidemargin=-1cm
\evensidemargin=-.5cm
\textwidth=17.5cm
\textheight=23.5cm
%\textheight=182mm
%\textwidth=131mm
%\topmargin=-30mm
%\oddsidemargin=-16mm

%  User-serviceable parts end here
\font\Hugessdc=cmssdc10 scaled \magstep5
\parindent=0pt
\parskip=6pt plus 2pt minus 1pt
%\usepackage{amstex}
\def\Name#1#2#3{{
\small
\rightline{#2}
\rightline{#3}
\vskip-\medskipamount
\begin{center}
\Huge\sf #1
\end{center}
\par
}}
\newcounter{Section}
%\newcounter{myequation}[Section]
\setcounter{Section}0
\def\Section#1{\par\refstepcounter{Section}
\bigskip
\noindent{\large\sf ����� \theSection. #1 \par
\bigskip
}%
}

\def\CA{{\mathcal A}}
\def\CB{{\mathcal B}}
\def\CC{{\mathcal C}}
\def\D{{\mathcal D}}
\def\CE{{\mathcal{E}}}
\def\CF{{\mathcal{F}}}
\def\CG{{\mathcal{G}}}
\def\CH{{\mathcal{H}}}
\def\CI{{\mathcal{I}}}
\def\CM{{\mathcal{M}}}
\def\CN{{\mathcal{N}}}
\def\CO{{\mathcal{O}}}
\def\CQ{{\mathcal{Q}}}
\def\CR{{\mathcal{R}}}
\def\CS{{\mathcal{S}}}
\def\CT{{\mathcal{T}}}

\def\BP{{\mathbf P}}
\def\BF{{\mathbf F}}
\def\BA{{\mathbf F}}
\def\bk{{\mathbf k}}
\def\BI{{\mathbf I}}
\def\BK{{\mathbf K}}
\def\BL{{\mathbf L}}
\def\BR{{\mathbf R}}
\def\BS{{\mathbf S}}

\def\AA{{\mathbb A}}
\def\FF{{\mathbb F}}
\def\ZZ{{\mathbb Z}}
\def\QQ{{\mathbb Q}}
\def\C{{\mathbb C}}
\def\RR{{\mathbb R}}
\def\HH{{\mathbb H}}
\def\PP{{\mathbb P}}

\def\FA{{\mathrm A}}

\def\FS{{\mathfrak S}}
\def\fa{{\mathfrak a}}
\def\fb{{\mathfrak b}}
\def\fm{{\mathfrak m}}
\def\fn{{\mathfrak n}}
\def\fp{{\mathfrak p}}

\def\SA{{\mathsf A}}
\def\SB{{\mathsf B}}
\def\SC{{\mathsf C}}
\def\SE{{\mathsf E}}
\def\SI{{\mathsf I}}
\def\SU{{\mathsf U}}
\def\SX{{\mathsf X}}
\def\SY{{\mathsf Y}}

\def\kk{{\mathsf k}}


\def\TX{{\tilde{X}}}

\def\WA{{\widehat{A}}}

\def\OF{{\overline{F}}}
\def\OK{{\overline{K}}}
\def\OL{{\overline{L}}}
\def\OQ{{\overline{Q}}}
\def\OS{{\overline{S}}}
\def\OFF{{\overline{\FF}}}
\def\OQQ{{\overline{\QQ}}}
\def\ORR{{\overline{\RR}}}



\def\WK{{\widetilde{K}}}



\def\Fr{\mathop{{\mathrm{Fr}}}\nolimits}
\def\Id{\mathop{{\mathrm{Id}}}\nolimits}
\def\Gal{\mathop{{\mathrm{Gal}}}\nolimits}
\def\SOD{\mathop{{\mathrm{���}}}\nolimits}
\def\Say#1{{\it #1\/}}
\def\say#1{{\sf #1\/}}

\newcounter{itlist}

\newenvironment{nlist}{\begingroup\setcounter{itlist}1
\par\penalty50
\def\item{\par\noindent\parskip=1pt minus 1pt
\hangindent 2em
\hspace*{1em}
\theitlist.\quad
\stepcounter{itlist}}
}
{\par\endgroup}

\newenvironment{slist}{\begingroup
\par\penalty50
\def\item{\par\noindent\parskip=1pt minus 1pt
\hangindent 2em
\hspace*{1em}}
}
{\par\endgroup}

\let\olbrace=\{
\let\orbrace=\}
\def\{{\olbrace\,}
\def\}{\,\orbrace}
\def\NTheorem#1#2{\par\smallskip\noindent{\bf #1. }{#2}\par}
\def\Proclaim#1.#2\par{\NTheorem{#1}{#2}}
\def\Theorem#1{\NTheorem{���६�}{#1}}
\def\sqmatrix#1#2#3#4{\left({#1\atop #3}{#2\atop #4}\right)}

\DeclareSymbolFont{AMSa}{U}{msa}{m}{n}
\DeclareSymbolFont{AMSb}{U}{msb}{m}{n}
\DeclareMathSymbol{\varkappa}{\mathord}{AMSb}{"7B}
\DeclareMathSymbol{\leqslant}{\mathrel}{AMSa}{"36}
\DeclareMathSymbol{\geqslant}{\mathrel}{AMSa}{"3E}
\let\leq=\leqslant \let\le=\leq
\let\geq=\geqslant \let\ge=\geq
%\let\��=\flqq
%\let\��=\frqq
\def\@mult#1{\raise #1\rlap{$\cdot$}\lower #1\rlap{$\cdot$}\cdot}
\def\multipleof{\mathrel{\@mult{1ex}}}
\def\notmultipleof{\mathrel{{\setbox0=\hbox{$\multipleof$}%
\hbox to\wd0{\hss/\hss}\box0\kern-\wd0\relax}}}




\theoremstyle{plain}
\newtheorem{theorem}{���६�}[Section]
\newtheorem{lemma}[theorem]{�����}
\newtheorem{proposition}[theorem]{�।�������}
\newtheorem{corollary}[theorem]{�����⢨�}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{��।������}
\newtheorem{remark}[theorem]{����砭��}
\newtheorem{examples}[theorem]{�ਬ���}
\newtheorem{example}[theorem]{�ਬ��}
\newtheorem{exercise}[theorem]{��ࠦ�����}

\newenvironment{myeq}{\refstepcounter{theorem}$$}{\leqno(\thetheorem)$$}

%\renewcommand{\theequation}{\arabic{Section}.\arabic{theorem}}

\renewcommand{\proofname}{������⥫��⢮}



\newcommand{\nc}{\newcommand}
\newcommand{\rnc}{\renewcommand}

\nc{\sing}{{\mathsf{sing}}}
\nc{\perf}{{\mathsf{perf}}}
\nc{\id}{\mathop{{\mathrm{id}}}\nolimits}
\nc{\ev}{\mathop{{\mathrm{ev}}}\nolimits}
\nc{\supp}{\mathop{{\mathrm{supp}}}\nolimits}
\nc{\Spec}{\mathop{{\mathrm{Spec}}}\nolimits}
\nc{\Ob}{\mathop{{\mathrm{Ob}}}\nolimits}
\nc{\Map}{\mathop{{\mathrm{Map}}}\nolimits}
\nc{\Mat}{\mathop{{\mathrm{Mat}}}\nolimits}
\nc{\GL}{\mathop{{\mathrm{GL}}}\nolimits}
\nc{\Inj}{\mathop{{\mathrm{Inj}}}\nolimits}
\nc{\Proj}{\mathop{{\mathrm{Proj}}}\nolimits}
\nc{\hInj}{\mathop{{\mathrm{hInj}}}\nolimits}
\nc{\hProj}{\mathop{{\mathrm{hProj}}}\nolimits}
\nc{\Aut}{\mathop{{\mathrm{Aut}}}\nolimits}
\nc{\Inn}{\mathop{{\mathrm{Inn}}}\nolimits}
\nc{\Out}{\mathop{{\mathrm{Out}}}\nolimits}
\nc{\End}{\mathop{{\mathrm{End}}}\nolimits}
\nc{\Hom}{\mathop{{\mathrm{Hom}}}\nolimits}
\nc{\Ext}{\mathop{{\mathrm{Ext}}}\nolimits}
\nc{\CHom}{\mathop{{\mathcal{H}\mathit{om}}}\nolimits}
\nc{\CExt}{\mathop{{\mathcal{E}\mathit{xt}}}\nolimits}
\nc{\Bilin}{\mathop{{\mathrm{Bilin}}}\nolimits}
\nc{\Tor}{\mathop{{\mathrm{Tor}}}\nolimits}
\nc{\Ker}{\mathop{{\mathrm{Ker}}}\nolimits}
\nc{\Coker}{\mathop{{\mathrm{Coker}}}\nolimits}
\nc{\Cyl}{\mathop{{\mathrm{Cyl}}}\nolimits}
\rnc{\Im}{\mathop{{\mathrm{Im}}}\nolimits}
\nc{\Coim}{\mathop{{\mathrm{Coim}}}\nolimits}
\nc{\Com}{\mathop{{\mathrm{Com}}}\nolimits}
\nc{\Hot}{\mathop{{\mathrm{Hot}}}\nolimits}
\nc{\Acycl}{\mathop{{\mathrm{Acycl}}}\nolimits}
\nc{\Iso}{\mathop{{\mathrm{Iso}}}\nolimits}
\nc{\Qis}{\mathop{{\mathrm{Qis}}}\nolimits}
\nc{\tr}{\mathop{{\mathrm{tr}}}\nolimits}
\nc{\diag}{\mathop{{\mathrm{diag}}}\nolimits}
\rnc{\Im}{\mathop{{\mathrm{Im}}}\nolimits}
\nc{\chr}{\mathop{{\mathrm{char}}}\nolimits}
\nc{\ord}{\mathop{{\mathrm{ord}}}\nolimits}
\nc{\sep}{{{\mathrm{sep}}}}
\nc{\Irr}{\mathop{{\mathrm{Irr}}}\nolimits}
%\nc{\��}{\mathop{{\mathrm{��}}}\nolimits}
%\nc{\���}{\mathop{{\mathrm{���}}}\nolimits}

\nc{\LRA}{\Longleftrightarrow}
\nc{\LA}{\Longleftarrow}
\nc{\RA}{\Longrightarrow}
\nc{\subnorm}{\mathrel{\triangleleft}}
\nc{\ndiv}{\mathrel{\!\!\not|\!}}

\nc{\newlect}{\newpage\setcounter{Section}{0}}
\nc{\newtasks}{\bigskip}


\nc{\Cats}{{\mathop{{\mathsf{Cats}}}}}
\nc{\Sets}{{\mathop{{\mathsf{Sets}}}}}
\nc{\Fun}{{\mathop{{\mathsf{Fun}}}}}
\nc{\Funex}{{\mathop{{\mathsf{Fun_{ex}}}}}}
\nc{\Funadd}{{\mathop{{\mathsf{Fun_{add}}}}}}
\nc{\Top}{{\mathop{{\mathsf{Top}}}}}
\nc{\Comp}{{\mathop{{\mathsf{Comp}}}}}
\nc{\Var}{{\mathop{{\mathsf{Var}}}}}
\nc{\Fields}{{\mathop{{\mathsf{Fields}}}}}
\nc{\Groups}{{\mathop{{\mathsf{Gr}}}}}
\nc{\Rings}{{\mathop{{\mathsf{Rings}}}}}
\nc{\Comm}{{\mathop{{\mathsf{Comm}}}}}
\nc{\Ab}{{\mathop{{\mathsf{Ab}}}}}
\nc{\FAb}{{\mathop{{\mathsf{f\!-\!Ab}}}}}
\nc{\VB}{{\mathop{{\mathsf{VB}}}}}
\nc{\LF}{{\mathop{{\mathsf{LF}}}}}
\nc{\Fl}{{\mathop{{\mathsf{Fl}}}}}
\nc{\Sh}{{\mathop{{\mathsf{Sh}}}}}
\nc{\Coh}{{\mathop{{\mathsf{Coh}}}}}
\nc{\QCoh}{{\mathop{{\mathsf{QCoh}}}}}
\nc{\PreSh}{{\mathop{{\mathsf{PreSh}}}}}
\nc{\Qcoh}{{\mathop{{\mathsf{Qcoh}}}}}
\nc{\Cov}{{\mathop{{\mathsf{Cov}}}}}
\nc{\tot}{{\mathop{{\mathsf{tot}}}}}

\nc{\lMod}{\!-\!\mathsf{Mod}}
\nc{\rMod}{\mathsf{Mod}\!-\!}
\nc{\lmod}{\!-\!\mathsf{mod}}
\nc{\rmod}{\mathsf{mod}\!-\!}
\nc{\ldgMod}{\!-\!\mathsf{DGMod}}
\nc{\rdgMod}{\mathsf{DGMod}\!-\!}
\nc{\ldgmod}{\!-\!\mathsf{dgmod}}
\nc{\rdgmod}{\mathsf{dgmod}\!-\!}
\nc{\opp}{\circ}
\nc{\si}{\mathop{{\mathsf{i}}}}
\nc{\sfg}{\mathop{{\mathsf{fg}}}}
\nc{\sfr}{\mathop{{\mathsf{fr}}}}
\nc{\scm}{\mathop{{\mathsf{cm}}}}
\nc{\pt}{\mathop{{\mathsf{pt}}}}
\nc{\gr}{\mathop{{\mathsf{gr}}}\nolimits}
\nc{\Tw}{\mathop{{\mathsf{Tw}}}\nolimits}
\nc{\tri}{{{\mathsf{tr}}}}
\nc{\pretr}{{{\mathsf{pre-tr}}}}
\nc{\dg}{{\mathop{{\mathsf{dg}}}\nolimits}}
\nc{\lotimes}{\mathbin{{\mathop{\otimes}\limits^L}}}


\nc{\ilim}{{\mathop{{\lim\limits_{\longleftarrow}}}\nolimits}}
\nc{\dlim}{{\mathop{{\lim\limits_{\longrightarrow}}}\nolimits}}


\nc{\TF}{\tilde{F}}
\nc{\tf}{\tilde{f}}
