Madeleine Sydney Ślaga
86db8d0fe2
All checks were successful
build / build (push) Successful in 1m27s
63 lines
1.8 KiB
TeX
63 lines
1.8 KiB
TeX
\documentclass[tikz,dvisvgm]{standalone}
|
|
\usepackage[active,tightpage,auctex,dvips]{preview}
|
|
\usepackage{amsmath}
|
|
\usepackage{amssymb}
|
|
\usepackage{ifxetex}
|
|
\usepackage{syd-plex}
|
|
\usepackage{quiver}
|
|
\usepackage{tikz}
|
|
\usepackage{amscd}
|
|
|
|
\newcommand{\catname}[1]{\textbf{#1}}
|
|
\newcommand{\C}[1]{\catname{#1}}
|
|
|
|
% Specific categories
|
|
\newcommand{\Set}{\catname{Set}}
|
|
\newcommand{\Cat}{\catname{Cat}}
|
|
\newcommand{\CAT}{\catname{CAT}}
|
|
\newcommand{\Grp}{\catname{Grp}}
|
|
|
|
% Common objects and functions
|
|
\newcommand{\Ob}{\operatorname{Ob}}
|
|
\newcommand{\op}{\text{op}}
|
|
\newcommand{\opof}[1]{{#1}^{\text{op}}}
|
|
% \id{x} is the identity morphism on x.
|
|
\newcommand{\id}[1]{1_{#1}}
|
|
% \Id{C} is the identity functor on C.
|
|
\newcommand{\Id}[1]{1_{#1}}
|
|
\newcommand{\Mor}{\operatorname{Mor}}
|
|
\newcommand{\homset}[3]{{{#1} \left[ {#2} \to {#3} \right]}}
|
|
|
|
% Constructions of categories.
|
|
\newcommand{\FunctorCategory}[2]{\left[#1, #2\right]}
|
|
\newcommand{\Funct}[2]{\FunctorCategory{#1}{#2}} % Deprecated.
|
|
\newcommand{\ArrowCategory}[1]{{#1}^\to}
|
|
|
|
% Semantic aliases
|
|
\newcommand{\monicto}{\rightarrowtail}
|
|
\newcommand{\epicto}{\twoheadrightarrow}
|
|
\newcommand{\naturalto}{\Rightarrow}
|
|
\newcommand{\isoto}{\cong}
|
|
\newcommand{\equivto}{\simeq}
|
|
|
|
\newcommand{\naturaltrans}[2]{#1 \naturalto #2} % Deprecated.
|
|
\newcommand{\horizontalcompose}{\ast}
|
|
|
|
% Optics
|
|
\newcommand{\opticname}[1]{\textbf{#1}}
|
|
\newcommand{\optic}[3]{\opticname{#1}^\prime\;#2\;#3}
|
|
\newcommand{\Optic}[5]{\opticname{#1}\;#2\;#3\;#4\;#5}
|
|
|
|
% Default uses arrow glyphs from the active font, which are kinda ugly in the
|
|
% case of Plex.
|
|
\tikzcdset{
|
|
arrow style=tikz
|
|
}
|
|
|
|
\begin{document}
|
|
\setlength\abovedisplayskip{0pt} % Remove padding before equation environments.
|
|
%% \color[rgb]{0.000,0.000,0.004}\special{dvisvgm:currentcolor on}\setcounter{equation}{0}%
|
|
|
|
% {{contents}}
|
|
\end{document}
|