Newer
Older
\documentclass{amsart}
\usepackage[foot]{amsaddr}
\usepackage{bbm}
\usepackage{mathbbol}
\usepackage{amsmath,amssymb,amsfonts, amsthm, graphicx}
\usepackage{mathtools}
\usepackage{graphicx}%for \rotatebox
\usepackage[dvipsnames]{xcolor}
\usepackage{txfonts}
\usepackage{tikz}
\usetikzlibrary{arrows,shapes,snakes,automata,backgrounds,petri,positioning}
\usepackage{comment}
\usepackage[pdfborder=0,colorlinks=true,linktocpage,linkcolor=blue,urlcolor=cyan]{hyperref}
\usepackage{csquotes}
\usepackage{comment}
\usepackage[normalem]{ulem}
\usepackage{enumerate}
\usepackage{verbatim}
\usepackage{xcolor}
\usepackage{amsmath}
%\usepackage{fullpage}
\setlength{\textwidth}{\paperwidth}
\addtolength{\textwidth}{-2in}
\calclayout
%diagram stuff
%try: https://tikzcd.yichuanshen.de/
%xymatrix
\tikzset{every picture/.style={line width=0.75pt}} %set default line width to 0.75pt
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
\usepackage[all,pdftex, cmtip]{xy}
\newdir{ >}{{}*!/-10pt/@{>}}
\newdir{> }{{}*!/10pt/@{>}}
\newcommand{\cd}[2][]{\vcenter{\hbox{\xymatrix#1{#2}}}}
\newcommand{\ltwocell}[3][0.5]{\ar@{}[#2] \ar@{=>}?(#1)+/r 0.2cm/;?(#1)+/l 0.2cm/_{#3}}
\newcommand{\hdash}{\rotatebox[origin=c]{90}{$\vdash$}}
%tikz-cd
\usepackage{amssymb}
\usepackage{tikz}
\usetikzlibrary{cd}
\usepackage{tikz-cd}
\tikzset{% for drawing adjunctions
symbol/.style={%
draw=none,
every to/.append style={%
edge node={node [sloped, allow upside down, auto=false]{$#1$}}}
}
}
%roman enumeration
\usepackage{enumerate}
\newenvironment{enumroman}{\begin{enumerate}[\upshape (i)]}{\end{enumerate}}
\renewcommand{\theenumi}{\roman{enumi}}
%blackboard bold numbers and stuff
\newcommand{\bbefamily}{\fontencoding{U}\fontfamily{bbold}\selectfont}
\newcommand{\textbbe}[1]{{\bbefamily #1}}
\DeclareMathAlphabet{\mathbbe}{U}{bbold}{m}{n}
%theorem stuff
\theoremstyle{plain}
\newtheorem{thm}{Theorem}[section]
\newtheorem{cor}[thm]{Corollary}
\newtheorem{claim}[thm]{Claim}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{lem}[thm]{Lemma}
\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition}
\newtheorem{digression}[thm]{Digression}
\newtheorem{conj}[thm]{Conjecture}
\newtheorem{const}[thm]{Construction}
\theoremstyle{remark}
\newtheorem{ex}[thm]{Example}
\newtheorem{rmk}[thm]{Remark}
\newtheorem{notation}[thm]{Notation}
%numbering
\setcounter{tocdepth}{1}
\makeatletter
\let\c@equation\c@thm
\makeatother
\numberwithin{equation}{section}
%r arrows double headed with \simeq symbol
\newcommand{\refinement}{%
\xrightarrow{\simeq}\mathrel{\mkern-14mu}\rightarrow
}
\usepackage{extarrows}
%bra-ket notation
\usepackage{mathtools}
\DeclarePairedDelimiter\bra{\langle}{\rvert}
\DeclarePairedDelimiter\ket{\lvert}{\rangle}
\DeclarePairedDelimiterX\braket[2]{\langle}{\rangle}{#1 \delimsize\vert #2}
%Yoneda
\usepackage[utf8]{inputenc}
\DeclareFontFamily{U}{min}{}
\DeclareFontShape{U}{min}{m}{n}{<-> udmj30}{}
\newcommand\yo{\!\text{\usefont{U}{min}{m}{n}\symbol{'207}}\!}
\usepackage{bbm}
%categories
\newcommand{\cat}[1]{\textup{\textsf{#1}}}% for categories
\newcommand{\Set}{\operatorname{\mathbf{Set}}}
\newcommand{\mat}{\operatorname{\mathbf{Mat}}}
\newcommand{\Cat}{\operatorname{\mathbf{Cat}}}
\newcommand{\Vect}[1]{\mathbf{Vect}_{#1}}%
\newcommand{\yonenr}[1]{\mathfrak Y_{#1}}%
\newcommand{\functorcat}[2]{[#1,#2]}%
\newcommand{\map}{\textbf{Map}}
\newcommand{\Map}{\operatorname{\mathbf{Map}}}
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
\newcommand{\FVect}{\mathbf{FVect}}
\newcommand{\Field}{\operatorname{\mathbf{Field}}}
%blackboard bold
\newcommand{\ff}{\mathbb{F}}
\newcommand{\nn}{\mathbb{N}}
\newcommand{\rr}{\mathbb{R}}
\newcommand{\qq}{\mathbb{Q}}
\newcommand{\BB}{\mathbb{B}}
%big plus symbol
\usepackage{amsmath}
\DeclareMathOperator*{\foo}{\scalerel*{+}{\sum}}
\DeclareMathOperator*{\barr}{\scalerel*{+}{\textstyle\sum}}
\usepackage{scalerel}
%calligraphic
\newcommand{\Ca}{\mathcal{C}}
\newcommand{\Oa}{\mathrm{Sub}}
\newcommand{\Da}{\mathcal{C}}
\newcommand{\Ea}{\mathcal{E}}
\newcommand{\Ba}{\mathcal{B}}
%misc shortcuts
\newcommand{\lra}{\longrightarrow}
\newcommand{\xto}[1]{\xrightarrow{#1}}
\newcommand{\op}{^\text{op}}
\newcommand{\inv}{^{-1}}
\newcommand{\End}{\operatorname{End}}
\newcommand{\Sub}{\operatorname{Sub}}
\newcommand{\Left}{\operatorname{Left}}
\newcommand{\Right}{\operatorname{Right}}
\newcommand{\Cov}{\operatorname{Cov}}
\DeclareMathOperator{\Hom}{Hom}
\allowdisplaybreaks
%use this to identify who is writing; LaTeX gurus please feel free to fiddle with the macro
\newcommand{\iam}[1]{\vspace{.1cm}{\fbox{\textbf{#1}}}\vspace{.1cm}}
\usepackage{float}
%%--------------------------------------
\begin{document}
\title{Introduction to Category Theory}
\address{ $\dagger$ Institut für Mathematik, Universität Zürich, Winterthurerstrasse 190 CH-8057 Zürich}
%\begin{abstract}
%\end{abstract}
\maketitle
\tableofcontents
%%--------------------------------------
\section{Instructions}
Welcome one and all to our shared exercise sheet! The purpose of this space is two-fold. Firstly, because the only way to learn is to do, and listening to your peer's talks is not enough to understand category theory. Secondly, because our goal is vast, and if we were to cover the whole book (plus our extra topics at the end) we would need twice as much time.
In class the speaker will always explain the most important topics, but you should always try, before or after the lecture, to read the relevant chapter on your own and attempt one of the questions below. These will allow you a chance to learn, and the speaker an excuse to skip the less interesting topics.
\begin{itemize}
\item Questions, answers and comments will be posted the following way:
\end{itemize}
Loading
Loading full blame...