Merge branch 'algebraic-geometry'

This commit is contained in:
Maximilian Keßler 2021-12-12 20:13:31 +01:00
commit f2a9f5f703

View file

@ -151,6 +151,7 @@ __END_OPTIONS_X__
\DeclareCategory{AffVar} \DeclareCategory{AffVar}
\DeclareCategory{Alg} \DeclareCategory{Alg}
\DeclareCategory{Field} \DeclareCategory{Field}
\DeclareCategory{Sch}
%Set theory %Set theory
\DeclareSimpleMathOperator{card} \DeclareSimpleMathOperator{card}
@ -169,6 +170,19 @@ __END_OPTIONS_X__
\DeclareSimpleMathOperator{cov} \DeclareSimpleMathOperator{cov}
\newcommand{\del}{\partial} % Semantically correct operator for boundary maps \newcommand{\del}{\partial} % Semantically correct operator for boundary maps
%% Algebraic geometry
\DeclareSimpleMathOperator{eq}
\DeclareSimpleMathOperator{Idem}
\DeclareSimpleMathOperator{Supp}
\DeclareSimpleMathOperator{Ann}
\DeclareSimpleMathOperator{OC}
\DeclareSimpleMathOperator{red}
\DeclareSimpleMathOperator{can}
\DeclareSimpleMathOperator{Pic}
\newcommand\leftadjoint\vdash
\newcommand\rightadjoint\dashv
% Characteristic function % Characteristic function
\newcommand*{\cfun}{\ensuremath{\mathbbm{1}}} \newcommand*{\cfun}{\ensuremath{\mathbbm{1}}}
\newcommand*{\One}{\cfun} \newcommand*{\One}{\cfun}