typearithmeticyl.toc

\babel@toc {english}{}
\beamer@sectionintoc {2}{Introduction}{3}{0}{1}
\beamer@subsectionintoc {2}{1}{Who am I?}{4}{0}{1}
\beamer@subsectionintoc {2}{2}{Why are we here?}{9}{0}{1}
\beamer@subsectionintoc {2}{3}{What and How?}{12}{0}{1}
\beamer@sectionintoc {3}{Some Type Arithmetic}{17}{0}{2}
\beamer@subsectionintoc {3}{1}{Ground Rules}{18}{0}{2}
\beamer@subsectionintoc {3}{2}{Addition}{24}{0}{2}
\beamer@subsectionintoc {3}{3}{Multiplication}{31}{0}{2}
\beamer@subsectionintoc {3}{4}{Exponentiation}{33}{0}{2}
\beamer@subsectionintoc {3}{5}{$\top $ and $\bot $}{37}{0}{2}
\beamer@subsectionintoc {3}{6}{A correspondence Pt. 1}{38}{0}{2}
\beamer@sectionintoc {4}{The Leibniz Perspective}{43}{0}{3}
\beamer@subsectionintoc {4}{1}{When are things equal?}{44}{0}{3}
\beamer@subsectionintoc {4}{2}{Isomorphisms}{48}{0}{3}
\beamer@subsectionintoc {4}{3}{Identity of Indiscernibles}{52}{0}{3}
\beamer@subsectionintoc {4}{4}{Putting it to work}{54}{0}{3}
\beamer@subsectionintoc {4}{5}{The million dollar question}{59}{0}{3}
\beamer@sectionintoc {5}{Some Category Theory}{63}{0}{4}
\beamer@subsectionintoc {5}{1}{The Basics}{64}{0}{4}
\beamer@subsectionintoc {5}{2}{Initial and Terminal Objects}{92}{0}{4}
\beamer@subsectionintoc {5}{3}{Products and Coproducts}{97}{0}{4}
\beamer@subsectionintoc {5}{4}{Universal Properties}{104}{0}{4}
\beamer@sectionintoc {6}{The Yoneda Perspective}{115}{0}{5}
\beamer@subsectionintoc {6}{1}{Representable Functors}{127}{0}{5}
\beamer@sectionintoc {7}{Bringing it all back home}{144}{0}{6}