blob: 0d7650337d49ad3b72e8f19fe7327d1fa62fb069 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
\usepackage[utf8]{inputenc}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{tikz}
\usetikzlibrary{cd}
\newcommand*{\ca}[1]{\ensuremath{\mathbf{#1}}}
\newcommand*{\idarr}[1]{\ensuremath{\mathrm{id}_{#1}}}
\newcommand{\id}{\ensuremath{\mathrm{id}}}
\renewcommand{\implies}{\ensuremath{\rightarrow}}
\newcommand{\N}{\ensuremath{\mathbb{N}}}
\newcommand{\arr}[3]{\begin{tikzcd}[ampersand replacement=\&]{#1} \rar{#2} \& {#3}\end{tikzcd}}
\renewcommand{\hom}[3]{\ensuremath{\mathrm{hom}_{#1} \left [ #2, #3 \right ]}}
\newcommand{\powerset}{\raisebox{.15\baselineskip}{\Large\ensuremath{\wp}}}
|
