\usepackage{mathrsfs}
\usepackage{relsize}

\newcommand{\abs}[1]{\mathlarger| {#1} \mathlarger|}

\newcommand{\Pic}{\cat{Pic}}
\newcommand{\Gr}{\cat{Gr}}
\DeclareMathOperator{\eqlz}{eq}
\DeclareMathOperator{\coeq}{coeq}
\newcommand{\sK}{\mathscr{K}}
\newcommand{\proobj}{\displaystyle \mathop{``\varprojlim\!"}}
\DeclareMathOperator{\Supp}{Supp} 
\newcommand{\og}{\overline{g}}
\newcommand{\LRS}{\cat{LocRngSpc}}
\newcommand{\fn}{\mathfrak{n}}
\DeclareMathOperator{\Sym}{Sym}
\newcommand{\QCohAlg}{\cat{QCohAlg}}
\newcommand{\uHom}{\underline{\Hom}}
\DeclareMathOperator{\Et}{Et}
\DeclareMathOperator{\Open}{Open}
\newcommand{\sR}{\mathscr{R}}
\newcommand{\sL}{\mathscr{L}}
\newcommand{\tL}{\widetilde{L}}
\DeclareMathOperator{\Der}{Der}
\DeclareMathOperator{\Grass}{Grass}
\newcommand{\bP}{\mathbf{P}}
\newcommand{\sE}{\mathscr{E}}
\newcommand{\tN}{\widetilde{N}}
\newcommand{\tA}{\widetilde{A}}
\newcommand{\tW}{\widetilde{W}}
\newcommand{\fm}{\mathfrak{m}}
\newcommand{\sW}{\mathscr{W}}
\newcommand{\Assh}{\cat{Ass}\mhyphen}
\newcommand{\sV}{\mathscr{V}}
\newcommand{\tV}{\widetilde{V}}
\newcommand{\sQ}{\mathscr{Q}}
\newcommand{\Mat}{\cat{Mat}}
\renewcommand{\implies}{\ensuremath{\Rightarrow}}
\DeclareMathOperator{\coker}{coker}
\DeclareMathOperator{\Ann}{Ann}
\newcommand{\Gm}{\mathbf{G}_m}
\newcommand{\bA}{\mathbf{A}}
\newcommand{\be}{\mathbf{e}}
\newcommand{\Sets}{\cat{Sets}}
\newcommand{\Ob}{\mathbf{Ob}}
\newcommand{\bDelta}{\boldsymbol{\Delta}}
\DeclareMathOperator{\image}{image}
\newcommand{\length}{\mathrm{length}}
\DeclareMathOperator{\sgn}{sgn}
\newcommand{\area}{\mathrm{area}}
\newcommand{\volume}{\mathrm{volume}}
\newcommand{\mass}{\mathrm{mass}}
\newcommand{\hSets}{\mhyphen\cat{Sets}}
\newcommand{\Alg}{\cat{Alg}}
\newcommand{\sF}{\mathscr{F}}
\newcommand{\et}{\text{\'et}}
\newcommand{\sh}{\text{sh}}
\newcommand{\Sh}{\cat{Sh}}
\newcommand{\Psh}{\cat{Psh}}
\newcommand{\sG}{\mathscr{G}}
\newcommand{\sA}{\mathscr{A}}
\newcommand{\hAlg}{\mhyphen\Alg}
\mathchardef\mhyphen="2D
\providecommand{\cat}[1]{{\mathsf{#1}}}
\newcommand{\Grp}{\cat{Grp}}
\newcommand{\ComRng}{\cat{ComRng}}
\newcommand{\Rng}{\cat{Rng}}
\newcommand{\AbGrp}{\cat{Ab}}
\DeclareMathOperator{\Ext}{Ext}
\newcommand{\Mod}{\cat{Mod}}
\newcommand{\hMod}{\mhyphen\Mod}
\newcommand{\fpr}{\mathop{\times}}
\newcommand{\cpr}{\mathop{\amalg}}
\newcommand{\tensor}{\mathop{\otimes}}
\newcommand{\Sch}{\cat{Sch}}
\newcommand{\Mor}{\mathbf{Mor}}
\newcommand{\Top}{\cat{Top}}

\DeclareMathOperator{\Cont}{Cont}
\DeclareMathOperator{\Func}{Func}
\DeclareMathOperator{\diam}{diam}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\Cov}{Cov}
\DeclareMathOperator{\Stab}{Stab}

\newcommand{\grad}{\mathrm{grad}}
\newcommand{\curl}{\mathrm{curl}}
\renewcommand{\div}{\mathrm{div}}
\newcommand{\id}{\mathrm{id}}

\newcommand{\RP}{\bR\mathrm{P}}
\newcommand{\CP}{\bC\mathrm{P}}

\newcommand{\fp}{\mathfrak{p}}
\newcommand{\fP}{\mathfrak{P}}
\newcommand{\oK}{\overline{K}}
\newcommand{\oI}{\overline{I}}
\newcommand{\tu}{\tilde{u}}
\newcommand{\cO}{\mathcal{O}}
\newcommand{\bF}{\mathbf{F}}
\newcommand{\by}{\mathbf{y}}
\newcommand{\tM}{\widetilde{M}}
\newcommand{\QCoh}{\cat{QCoh}}
\newcommand{\sM}{\mathscr{M}}
\newcommand{\sN}{\mathscr{N}}
\DeclareMathOperator{\Gal}{Gal}
\newcommand{\sB}{\mathscr{B}}
\newcommand{\tgamma}{\widetilde{\gamma}}
\newcommand{\tf}{\widetilde{f}}
\newcommand{\tg}{\widetilde{g}}
\newcommand{\tilh}{\widetilde{h}}
\newcommand{\bC}{\mathbf{C}}
\newcommand{\bz}{\mathbf{z}}
\newcommand{\tX}{\widetilde{X}}
\newcommand{\sP}{\mathscr{P}}
\newcommand{\bN}{\mathbf{N}}
\newcommand{\cU}{\mathcal{U}}
\newcommand{\sC}{\mathscr{C}}
\newcommand{\bR}{\mathbf{R}}
\newcommand{\bx}{\mathbf{x}}
\newcommand{\oX}{\overline{X}}
\newcommand{\oS}{\overline{S}}
\newcommand{\bZ}{\mathbf{Z}}
\newcommand{\bQ}{\mathbf{Q}}
\newcommand{\sD}{\mathscr{D}}
\newcommand{\of}{\overline{f}}
\newcommand{\oU}{\overline{U}}
\newcommand{\sU}{\mathscr{U}}

\newcommand{\rest}[1]{\big|_{#1}}

\newtheorem{theorem}{Theorem}
\newtheorem{scholium}{Scholium}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}{Corollary}
\newtheorem*{lemma*}{Lemma}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem*{definition*}{Definition}
\newtheorem*{axiom}{Axiom}

\theoremstyle{remark}
\newtheorem{warning}[theorem]{Warning}
\newtheorem{remark}[theorem]{Remark}

\numberwithin{theorem}{section}

\DeclareMathOperator{\Spec}{Spec}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\MSpec}{M-Spec}
\DeclareMathOperator{\Frac}{Frac}

\newcommand{\set}[1]{\mathlarger\{ {#1} \mathlarger\}}
%\newcommand{\set}[1]{\bigl\{ {#1} \bigr\}}
