latexmacs_categories.tex

\newcommand{\cat}[1]{\mathsf{#1}}

\newcommand{\Sets}[0]{{\mathsf{Set}}}
\newcommand{\Set}[0]{{\mathsf{Set}}}
\newcommand{\sets}[0]{{\mathsf{Set}}}
\newcommand{\set}{{\mathsf{Set}}}
\newcommand{\Poset}[0]{\mathsf{Poset}}
\newcommand{\GSets}[0]{{G\dash\mathsf{Set}}}
\newcommand{\Groups}[0]{{\mathsf{Group}}}
\newcommand{\Grp}[0]{{\mathsf{Grp}}}
\newcommand{\cC}[0]{{\mathsf{C}}}
\newcommand{\Ar}[0]{{\mathsf{Ar}}}
\newcommand{\Mot}[0]{{\mathsf{Mot}}}
\newcommand{\SW}[0]{{\mathsf{SW}}}
\newcommand{\cof}[0]{{\mathsf{cof}}}
\newcommand{\fib}[0]{{\mathsf{fib}}}

% Modifiers
\newcommand{\der}[0]{{\mathsf{d}}}
\newcommand{\dg}[0]{{\mathsf{dg}}}
\newcommand{\comm}[0]{{\mathsf{C}}}
\newcommand{\pre}[0]{{\mathsf{pre}}}
\newcommand{\fn}[0]{{\mathsf{fn}}}
\newcommand{\smooth}[0]{{\mathsf{sm}}}
\newcommand{\Aff}[0]{{\mathsf{Aff}}}
\newcommand{\Ab}[0]{{\mathsf{Ab}}}
\newcommand{\Add}[0]{{\mathsf{Add}}}
\newcommand{\Assoc}[0]{\mathsf{Assoc}}
\newcommand{\Ch}[0]{\mathsf{Ch}}
\newcommand{\Coh}[0]{{\mathsf{Coh}}}
\newcommand{\Comm}[0]{\mathsf{Comm}}
\newcommand{\Cor}[0]{\mathsf{Cor}}
\newcommand{\Corr}[0]{\mathsf{Cor}}
\newcommand{\Fin}[0]{{\mathsf{Fin}}}
\newcommand{\Free}[0]{\mathsf{Free}}
\newcommand{\Tors}[0]{\mathsf{Tors}}
\newcommand{\Perf}[0]{\mathsf{Perf}}
\newcommand{\Unital}[0]{\mathsf{Unital}}
\newcommand{\eff}[0]{\mathsf{eff}}
\newcommand{\Dc}[0]{\mathbf{D}}
\newcommand{\derivedcat}[1]{\Dc {#1}}
\newcommand{\Db}[0]{ \mathsf{D}^b }
\newcommand{\db}[0]{\Db}
\newcommand{\bderivedcat}[1]{\Db {#1}}
\newcommand{\Const}[0]{\mathsf{Const}}
\newcommand{\Cx}[0]{\mathsf{Ch}}
\newcommand{\Stable}[0]{\mathsf{Stab}}
\newcommand{\ChainCx}[1]{\mathsf{Ch}\qty{ #1 }}
\newcommand{\Vect}[0]{{ \mathsf{Vect}}}
\newcommand{\kvect}[0]{{ \mathsf{Vect}\slice{k}}}
\newcommand{\loc}[0]{{\mathsf{loc}}}
\newcommand{\locfree}[0]{{\mathsf{locfree}}}
\newcommand{\Bun}{{\mathsf{Bun}}}
\newcommand\Prinbun{{ \mathsf{PrinBun}}}
\newcommand{\bung}{{\mathsf{Bun}_G}}

% Rings
\newcommand{\Local}[0]{\mathsf{Local}}
\newcommand{\Fieldsover}[1]{{ \mathsf{Fields}_{#1}}}
\newcommand{\Field}[0]{\mathsf{Field}}
\newcommand{\Number}[0]{\mathsf{Number}}
\newcommand{\Numberfield}[0]{\Field\slice{\QQ}}
\newcommand{\NF}[0]{\Numberfield}
\newcommand{\Art}[0]{\mathsf{Art}}
\newcommand{\Global}[0]{\mathsf{Global}}
\newcommand{\Ring}[0]{\mathsf{Ring}}
\newcommand{\Mon}[0]{\mathsf{Mon}}
\newcommand{\CMon}[0]{\mathsf{CMon}}
\newcommand{\CRing}[0]{\mathsf{CRing}}
\newcommand{\DedekindDomain}[0]{\mathsf{DedekindDom}}
\newcommand{\IntDomain}[0]{\mathsf{IntDom}}
\newcommand{\Dom}[0]{\mathsf{Dom}}
\newcommand{\Domain}[0]{\mathsf{Domain}}
\newcommand{\DVR}[0]{\mathsf{DVR}}
\newcommand{\Dedekind}[0]{\mathsf{Dedekind}}

% Modules
\newcommand{\Quat}[0]{{\mathsf{Quat}}}
\newcommand{\torsors}[1]{{\mathsf{#1}\dash\mathsf{Torsors}}}
\newcommand{\torsorsright}[1]{\mathsf{Torsors}\dash\mathsf{#1}}
\newcommand{\torsorsleft}[1]{\mathsf{#1}\dash\mathsf{Torsors}}
\newcommand{\bimod}[2]{({#1}, {#2})\dash\mathsf{biMod}}
\newcommand{\bimods}[2]{({#1}, {#2})\dash\mathsf{biMod}}

\newcommand{\Mod}[0]{{\mathsf{Mod}}}
\newcommand{\modsleft}[1]{ {}_{#1}\Mod}
\newcommand{\modsright}[1]{ \Mod_{#1}}
\newcommand{\mods}[1]{ \modsleft{#1}}
\newcommand{\modr}[0]{ \modsright{R}}
\newcommand{\stmods}[1]{{\mathsf{#1}\dash\mathsf{stMod}}}
\newcommand{\grmods}[1]{{\mathsf{#1}\dash\mathsf{grMod}}}
\newcommand{\grMod}[0]{{\mathsf{grMod}}}
\newcommand{\comods}[1]{{\mathsf{#1}\dash\mathsf{coMod}}}

\newcommand{\gsetsleft}[1]{ {}_{#1}\Set}
\newcommand{\gsetsright}[1]{ \Set_{#1}}
\newcommand{\gset}[1]{\gsetsleft{#1}}
\newcommand{\gsets}[1]{\gset{#1}}

\newcommand{\zmod}[0]{ \modsleft{\ZZ}}
\newcommand{\qmod}[0]{ \modsleft{\QQ}}
\newcommand{\rmod}[0]{ \modsleft{R}}
\newcommand{\kmod}[0]{ \modsleft{k}}
\newcommand{\cmod}[0]{ \modsleft{ \CC }}
\newcommand{\fmod}[0]{ \modsleft{ \FF }}
\newcommand{\oxmods}[0]{ \mods{\OO_X}}
\newcommand{\amod}[0]{\mods{A}}
\newcommand{\gmod}[0]{\mods{G}}
\newcommand{\lmod}[0]{\mods{L}}
\newcommand{\Dmod}[0]{ \modsleft{\mathcal{D}} }
\newcommand{\dmod}[0]{ \Dmod }

\newcommand{\gr}[0]{{\mathsf{gr}\,}}
\newcommand{\mmod}[0]{{\dash\mathsf{Mod}}}
\newcommand{\Rep}[0]{{\mathsf{Rep}}}
\newcommand{\Irr}[0]{{\mathsf{Irr}}}
\newcommand{\Adm}[0]{{\mathsf{Adm}}}
\newcommand{\semisimp}[0]{{\mathsf{ss}}}
\newcommand{\Hodge}[0]{{\mathsf{Hodge}}}

% Vector Spaces and Bundles
\newcommand{\VectBundle}[0]{{ \Bun\qty{\GL_r}}}
\newcommand{\VectBundlerk}[1]{{ \Bun\qty{\GL_{#1}}}}
\newcommand{\VectSp}[0]{{ \VectSp }}
\newcommand{\VectBun}[0]{{ \VectBundle }}
\newcommand{\VectBunrk}[1]{{ \VectBundlerk{#1}}}
\newcommand{\Bung}[0]{{ \Bun\qty{G}}}

% Algebras
\newcommand{\Alg}[0]{ \mathsf{Alg}}
\newcommand{\algs}[1]{{ {}_{#1} \Alg }}
\newcommand{\Hopf}[0]{\mathsf{Hopf}}
\newcommand{\alg}[0]{\Alg}
\newcommand{\scalg}[0]{\mathsf{sCAlg}}
\newcommand{\cAlg}[0]{{\mathsf{cAlg}}}
\newcommand{\calg}[0]{\mathsf{CAlg}}
\newcommand{\liegmod}[0]{{\mathfrak{g}\dash\mathsf{Mod}}}
\newcommand{\liealg}[0]{{\mathsf{Lie}\dash\Alg}}
\newcommand{\Lie}[0]{\mathsf{Lie}}
\newcommand{\kalg}[0]{ {}_{k} \Alg }
\newcommand{\kAlg}[0]{\kalg}
\newcommand{\falg}[0]{ {}_{\FF} \Alg }
\newcommand{\ralg}[0]{ {}_{R} \Alg }
\newcommand{\rAlg}[0]{ \ralg }
\newcommand{\zalg}[0]{ {}_{\ZZ} \Alg }
\newcommand{\CCalg}[0]{ {}_{\\CC} \Alg }
\newcommand{\dga}[0]{{\mathsf{dg\Alg}}}
\newcommand{\cdga}[0]{{ \mathsf{c}\dga }}
\newcommand{\FMP}[0]{\mathsf{FMP}}
\newcommand{\dgla}[0]{\dg\Lie\Alg }
\newcommand{\DGLA}[0]{\dgla}
\newcommand{\Poly}[0]{{\mathsf{Poly}}}
\newcommand{\Hk}[0]{{\mathsf{Hk}}}
\newcommand{\Asm}[0]{{\mathsf{Asm}}}
\newcommand{\kSch}[0]{{\mathsf{Sch}_{/k}}}

\newcommand{\Grpd}[0]{{\mathsf{Grpd}}}
\newcommand{\inftyGrpd}[0]{{ \underset{\infty}{ \Grpd }}}
\newcommand{\Algebroid}[0]{{\mathsf{Algd}}}

% Schemes and Sheaves
\newcommand{\Loc}[0]{\mathsf{Loc}}
\newcommand{\Locsys}[0]{\mathsf{LocSys}}
\newcommand{\Ringedspace}[0]{\mathsf{RingSp}}
\newcommand{\RingedSpace}[0]{\mathsf{RingSp}}
\newcommand{\LRS}[0]{\Loc\RingedSpace}
\newcommand{\IndCoh}[0]{{\mathsf{IndCoh}}}
\newcommand{\dbcoh}[0]{\mathsf{D}^b\mathsf{Coh}}
\newcommand{\DbCoh}[0]{\dbcoh}
\newcommand{\DCoh}[0]{\mathsf{D}\mathsf{Coh}}
\newcommand{\dcoh}[0]{\DCoh}
\newcommand{\QCoh}[0]{{\mathsf{QCoh}}}
\newcommand{\qcoh}[0]{\QCoh}
\newcommand{\Ind}[0]{{\mathsf{Ind}}}
\newcommand{\ind}[0]{\Ind}
\newcommand{\Pro}[0]{\mathsf{pro}}
\newcommand{\pro}[0]{\Pro}
\newcommand{\Cov}[0]{{\mathsf{Cov}}}
\newcommand{\sch}[0]{{\mathsf{Sch}}}
\newcommand{\presh}[0]{ \underset{ \mathsf{pre}} {\mathsf{Sh}}}
\newcommand{\prest}[0]{ {\underset{ \mathsf{pre}} {\mathsf{St}} }}
\newcommand{\Descent}[0]{{\mathsf{Descent}}}
\newcommand{\Desc}[0]{{\mathsf{Desc}}}
\newcommand{\FFlat}[0]{{\mathsf{FFlat}}}
\newcommand{\Perv}[0]{\mathsf{Perv}}
\newcommand{\smsch}[0]{{ \smooth\Sch }}
\newcommand{\Sch}[0]{{\mathsf{Sch}}}
\newcommand{\Schf}[0]{{\mathsf{Schf}}}
\newcommand{\Sh}[0]{{\mathsf{Sh}}}
\newcommand{\St}[0]{{\mathsf{St}}}
\newcommand{\Stacks}[0]{{\mathsf{St}}}
\newcommand{\Var}[0]{{\mathsf{Var}}}
\newcommand{\Vark}[0]{{ \Var_{/k}}}
\newcommand{\kvar}[0]{{ \Var_{/k}}}
\newcommand{\Open}[0]{{\mathsf{Open}}}

% Homotopy
\newcommand{\CW}[0]{{\mathsf{CW}}}
\newcommand{\sset}[0]{{\mathsf{sSet}}}
\newcommand{\sSet}[0]{{\mathsf{sSet}}}
\newcommand{\ssets}[0]{\mathsf{sSet}}
\newcommand{\hoTop}[0]{{\mathsf{hoTop}}}
\newcommand{\hoType}[0]{{\mathsf{hoType}}}
\newcommand{\ho}[0]{{\mathsf{ho}}}
\newcommand{\SHC}[0]{{\mathsf{SHC}}}
\newcommand{\SH}[0]{{\mathsf{SH}}}
\newcommand{\Spaces}[0]{{\mathsf{Spaces}}}
\newcommand{\GSpaces}[1]{{G\dash\mathsf{Spaces}}}
\newcommand{\Spectra}[0]{{\mathsf{Sp}}}
\newcommand{\Sp}[0]{{\mathsf{Sp}}}
\newcommand{\Top}[0]{{\mathsf{Top}}}
\newcommand{\Bord}[0]{{\mathsf{Bord}}}
\newcommand{\TQFT}[0]{{\mathsf{TQFT}}}
\newcommand{\Kc}[0]{{\mathsf{K^c}}}
\newcommand{\triang}[0]{{\mathsf{triang}}}
\newcommand{\TTC}[0]{{\mathsf{TTC}}}
\newcommand{\dchrmod}{{\derivedcat{\Ch(\rmod)}}}

% Infty Cats
\newcommand{\Finset}[0]{{\mathsf{FinSet}}}
\newcommand{\Cat}[0]{\mathsf{Cat}}
\newcommand{\Fun}[0]{{\mathsf{Fun}}}
\newcommand{\Kan}[0]{{\mathsf{Kan}}}
\newcommand{\Monoid}[0]{\mathsf{Mon}}
\newcommand{\Arrow}[0]{\mathsf{Arrow}}
\newcommand{\quasiCat}[0]{{ \mathsf{quasiCat}} }
\newcommand{\inftycat}[0]{{ \underset{\infty}{ \Cat}  }}
\newcommand{\inftycatn}[1]{{ \underset{(\infty, {#1})}{ \Cat}  }}
\newcommand{\core}[0]{{ \mathsf{core}}}
\newcommand{\Indcat}[0]{ \mathsf{Ind}}

% New?
\newcommand{\Prism}[0]{\mathsf{Prism}}
\newcommand{\Solid}[0]{\mathsf{Solid}}
\newcommand{\WCart}[0]{\mathsf{WCart}}

% Motivic
\newcommand{\Torsor}[1]{{\mathsf{#1}\dash\mathsf{Torsor}}}
\newcommand{\Torsorleft}[1]{{\mathsf{#1}\dash\mathsf{Torsor}}}
\newcommand{\Torsorright}[1]{{\mathsf{Torsor}\dash\mathsf{#1}}}
\newcommand{\Quadform}[0]{{\mathsf{QuadForm}}}
\newcommand{\HI}[0]{{\mathsf{HI}}}
\newcommand{\DM}[0]{{\mathsf{DM}}}
\newcommand{\hoA}[0]{{\mathsf{ho}_*^{\scriptstyle \AA^1}}}
\newcommand\Tw[0]{\mathsf{Tw}}
\newcommand\SB[0]{\mathsf{SB}}
\newcommand\CSA[0]{\mathsf{CSA}}
\newcommand{\CSS}[0]{{ \mathsf{CSS}} }

% Unsorted
\newcommand{\FGL}[0]{\mathsf{FGL}}
\newcommand{\FI}[0]{{\mathsf{FI}}}
\newcommand{\CE}[0]{{\mathsf{CE}}}
\newcommand{\Fuk}[0]{{\mathsf{Fuk}}}
\newcommand{\Lag}[0]{{\mathsf{Lag}}}
\newcommand{\Mfd}[0]{{\mathsf{Mfd}}}
\newcommand{\Riem}[0]{\mathsf{Riem}}
\newcommand{\Wein}[0]{{\mathsf{Wein}}}
\newcommand{\gspaces}[1]{{#1}\dash{\mathsf{Spaces}}}
\newcommand{\deltaring}[0]{{\delta\dash\mathsf{Ring}}}
\newcommand{\terminal}[0]{{ 0_{\scriptscriptstyle \uparrow}}}
\newcommand{\initial}[0]{{ \mathscr \emptyset^{\scriptscriptstyle \downarrow}}}

% Universal guys

\newcommand{\coeq}[0]{\operatorname{coeq}}
\newcommand{\cocoeq}[0]{\operatorname{eq}}