Skip to content
Snippets Groups Projects
Commit cfcf5002 authored by Nicola Capacci's avatar Nicola Capacci
Browse files

new intro

parent 6b89f26f
No related branches found
No related tags found
No related merge requests found
......@@ -16,22 +16,23 @@
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{0.1}{}}{1}{subsection.0.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{0.2}{}}{1}{subsection.0.2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Week One}}{1}{section.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.1}{}}{1}{subsection.1.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.2}{}}{1}{subsection.1.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.3}{}}{1}{subsection.1.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.4}{}}{1}{subsection.1.4}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.5}{}}{1}{subsection.1.5}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Instructions}}{1}{section.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.1}{}}{1}{subsection.1.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.2}{}}{1}{subsection.1.2}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Week One}}{1}{section.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1}{}}{1}{subsection.2.1}}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{0pt}
\newlabel{tocindent1}{17.5pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent3}{0pt}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.6}{}}{2}{subsection.1.6}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.7}{}}{2}{subsection.1.7}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.8}{}}{2}{subsection.1.8}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.9}{}}{2}{subsection.1.9}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.10}{}}{2}{subsection.1.10}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.11}{}}{2}{subsection.1.11}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2}{}}{2}{subsection.2.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3}{}}{2}{subsection.2.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.4}{}}{2}{subsection.2.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.5}{}}{2}{subsection.2.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.6}{}}{2}{subsection.2.6}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.7}{}}{2}{subsection.2.7}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.8}{}}{2}{subsection.2.8}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.9}{}}{2}{subsection.2.9}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.10}{}}{2}{subsection.2.10}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.11}{}}{2}{subsection.2.11}}
This diff is collapsed.
\BOOKMARK [1][-]{section.1}{1. Week One}{}% 1
\BOOKMARK [1][-]{section.1}{1. Instructions}{}% 1
\BOOKMARK [1][-]{section.2}{2. Week One}{}% 2
No preview for this file type
File added
......@@ -175,10 +175,17 @@
\tableofcontents
%%--------------------------------------
Blabla
\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.
Questions, answers and comments will be posted the following way:
Welcome one and all to our shared exercise sheet. Questions, answers and comments will be posted the following way:
\subsection{} What is the most creative color?\hfill \break
\iam{Student}
......@@ -189,7 +196,7 @@ YELLOW!
\subsection{} The next Question...\hfill \break
Remember to sign you name using the \textbackslash iam\{\} command. Try to answer these questions without fear, and ask your fellow students about their answers!
Remember to sign you name using the \textbackslash iam\{\} command. Try to answer these questions without fear, ask your fellow students about their answers, or even post questions of your own!
\section{Week One}
......@@ -204,6 +211,7 @@ for $f\in A\times B$ and $g\in B\times C$. Show that \textbf{Rel} satisfies the
\subsection{} Check that functors compose in an associative way, proving that $\mathbf{Cat}$ is a category. \hfill \break
\subsection{} Prove that inverses are unique. \hfill \break
\iam{Rızacan} Let $f$ be an arrow with Cod($f$)=$B$ and Dom($f$)=$A$. Suppose
$g,g'$ are both inverses of $f$. Then by associativity and properties of
the identity: $g'=\id_A\circ
......@@ -228,7 +236,7 @@ g'=(g\circ f)\circ g'= g\circ(f\circ g')=g\circ \id_B=g$.
\subsection{} How many \emph{free categories} are there with 6 arrows? \emph{Hint:} Try to draw them on a piece of paper, and if you feel industrious you can report them here using this online tool https://tikzcd.yichuanshen.de/ \hfill \break
\subsection{} (\emph{Harder}) Prove the universal mapping property of free categories on graphs. \hfill \break
\iam{Nicola} My answer
\end{document}
\contentsline {subsection}{\tocsubsection {}{0.1}{}}{1}{subsection.0.1}%
\contentsline {subsection}{\tocsubsection {}{0.2}{}}{1}{subsection.0.2}%
\contentsline {section}{\tocsection {}{1}{Week One}}{1}{section.1}%
\contentsline {subsection}{\tocsubsection {}{1.1}{}}{1}{subsection.1.1}%
\contentsline {subsection}{\tocsubsection {}{1.2}{}}{1}{subsection.1.2}%
\contentsline {subsection}{\tocsubsection {}{1.3}{}}{1}{subsection.1.3}%
\contentsline {subsection}{\tocsubsection {}{1.4}{}}{1}{subsection.1.4}%
\contentsline {subsection}{\tocsubsection {}{1.5}{}}{1}{subsection.1.5}%
\contentsline {subsection}{\tocsubsection {}{1.6}{}}{2}{subsection.1.6}%
\contentsline {subsection}{\tocsubsection {}{1.7}{}}{2}{subsection.1.7}%
\contentsline {subsection}{\tocsubsection {}{1.8}{}}{2}{subsection.1.8}%
\contentsline {subsection}{\tocsubsection {}{1.9}{}}{2}{subsection.1.9}%
\contentsline {subsection}{\tocsubsection {}{1.10}{}}{2}{subsection.1.10}%
\contentsline {subsection}{\tocsubsection {}{1.11}{}}{2}{subsection.1.11}%
\contentsline {section}{\tocsection {}{1}{Instructions}}{1}{section.1}
\contentsline {subsection}{\tocsubsection {}{1.1}{}}{1}{subsection.1.1}
\contentsline {subsection}{\tocsubsection {}{1.2}{}}{1}{subsection.1.2}
\contentsline {section}{\tocsection {}{2}{Week One}}{1}{section.2}
\contentsline {subsection}{\tocsubsection {}{2.1}{}}{1}{subsection.2.1}
\contentsline {subsection}{\tocsubsection {}{2.2}{}}{2}{subsection.2.2}
\contentsline {subsection}{\tocsubsection {}{2.3}{}}{2}{subsection.2.3}
\contentsline {subsection}{\tocsubsection {}{2.4}{}}{2}{subsection.2.4}
\contentsline {subsection}{\tocsubsection {}{2.5}{}}{2}{subsection.2.5}
\contentsline {subsection}{\tocsubsection {}{2.6}{}}{2}{subsection.2.6}
\contentsline {subsection}{\tocsubsection {}{2.7}{}}{2}{subsection.2.7}
\contentsline {subsection}{\tocsubsection {}{2.8}{}}{2}{subsection.2.8}
\contentsline {subsection}{\tocsubsection {}{2.9}{}}{2}{subsection.2.9}
\contentsline {subsection}{\tocsubsection {}{2.10}{}}{2}{subsection.2.10}
\contentsline {subsection}{\tocsubsection {}{2.11}{}}{2}{subsection.2.11}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment