Bachelor thesis about the Dold-Kan correspondence
https://github.com/Jaxan/Dold-Kan
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
651 B
26 lines
651 B
\usepackage{graphicx}
|
|
\usepackage{float}
|
|
\usepackage{amssymb}
|
|
\usepackage{color}
|
|
\usepackage{listings}
|
|
|
|
\newcommand{\id}{\text{id}}
|
|
\newcommand{\N}{\mathbb{N}}
|
|
\newcommand{\Z}{\mathbb{Z}}
|
|
\newcommand{\cat}[1]{\mathbf{#1}}
|
|
\newcommand{\eps}{\varepsilon}
|
|
\newcommand{\I}{\,\mid\,}
|
|
\newcommand{\then}{\Rightarrow}
|
|
\newcommand{\inject}{\hookrightarrow}
|
|
\newcommand{\del}{\partial}
|
|
|
|
\newcommand{\todo}[1]{
|
|
\addcontentsline{tdo}{todo}{\protect{#1}}
|
|
$\ast$ \marginpar{\tiny $\ast$ #1}
|
|
}
|
|
\makeatletter
|
|
\newcommand \listoftodos{\section*{Todo list} \@starttoc{tdo}}
|
|
\newcommand\l@todo[2]{
|
|
\par\noindent \textit{#2}, \parbox{10cm}{#1}\par
|
|
}
|
|
\makeatother
|
|
|