\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{Pete Morcos} \hypertarget{contents}{}\section*{{Contents}}\label{contents} \noindent\hyperlink{notes_for_applied_category_theory_2018_course}{Notes for Applied Category Theory 2018 course}\dotfill \pageref*{notes_for_applied_category_theory_2018_course} \linebreak \noindent\hyperlink{chapter_1}{Chapter 1}\dotfill \pageref*{chapter_1} \linebreak \noindent\hyperlink{chapter_2}{Chapter 2}\dotfill \pageref*{chapter_2} \linebreak \noindent\hyperlink{chapter_3}{Chapter 3}\dotfill \pageref*{chapter_3} \linebreak \hypertarget{notes_for_applied_category_theory_2018_course}{}\subsection*{{Notes for Applied Category Theory 2018 course}}\label{notes_for_applied_category_theory_2018_course} I participated in a \href{http://www.azimuthproject.org/azimuth/show/Applied+Category+Theory}{2018 course} that \href{https://forum.azimuthproject.org/profile/17/John%20Baez}{John Baez} taught using a draft copy of the book \begin{itemize}% \item Brendan Fong and David Spivak, \emph{\href{http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf}{Seven Sketches in Compositionality} \href{http://math.mit.edu/~dspivak/teaching/sp18/}{website w/ videos}}. \end{itemize} I made some pictures to help me remember the concepts. They might be helpful to others as well. (There are a few results that go beyond the book \& lectures, which means I may have made some errors. Please let me know if you find any!) I \href{https://forum.azimuthproject.org/discussion/comment/18610/#Comment_18610}{announced} these images in the comments to Lecture 17, so some discussion may also be happening in that thread. \emph{(Other announcements and possible discussion: \href{https://forum.azimuthproject.org/discussion/comment/19528/#Comment_19528}{Ch.2})} These do \emph{not} form a comprehensive tutorial. I only picked topics where I felt an image would help me understand, so not everything important is covered. I wanted more formatting control than available here in the forums, so as an experiment each post is a large image. I'm unsure how this experiment will work out. Unfortunately using images makes searching and quoting impossible. It also ruins accessibility, but since the point of these posts is the images, they still wouldn't be accessible even with the text given separately. \textbf{Note:} Please do not link directly to the images. The URLs change every time I update or correct them. Link to the discussion threads instead. \begin{itemize}% \item \href{https://forum.azimuthproject.org/discussion/2183/petepics-feedback}{General feedback thread} \end{itemize} \hypertarget{chapter_1}{}\subsubsection*{{Chapter 1}}\label{chapter_1} I feel the two most valuable images I made for this chapter are the one on \emph{Confusing order terminology} and the final \emph{Big mnemonic image}. \begin{enumerate}% \item \textbf{\href{https://forum.azimuthproject.org/discussion/2181/petepics-chapter-1-map-diagrams}{Map diagrams}} - Visual refresher on the terms \emph{injective, surjective, single-valued, total, function, relation,} and \emph{graph}. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2182/petepics-chapter-1-order-terminology-confusion}{Confusing order terminology}} - The terms and symbols used to describe orders and adjunctions was hard for me to absorb. The reason seems to be that they use incompatible mnemonics. Once I figured out the exact inconsistencies, I found it much easier to keep everything straight. \item \emph{Update:18 June} \textbf{\href{https://forum.azimuthproject.org/discussion/2184/petepics-chapter-1-the-two-forward-images}{The two forward images}} - Pictures and mnemonics for the adjoints to the preimage $h^*$, which are $h_!$ and $h_*$. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2185/petepics-chapter-1-monotone-maps}{Monotone maps}} - The definition is a bottom-up one, looking at individual elements. I found it useful to draw pictures of a top-down view, looking at entire order relations. \item \textbf{Iterating the Galois connection maps} - Following the maps more than once yields helpful little formulas and some insight. Much of this is in the book but a few things are different. Lots of pictures.\begin{itemize}% \item \textbf{\href{https://forum.azimuthproject.org/discussion/2186/petepics-chapter-1-iterated-galois-maps-the-1-hop-constraint}{The 1-hop constraint}} - The basic definition of an adjunction. I then go on a long detour, viewing the definition in terms of the action on entire order relations at once. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2187/petepics-chapter-1-iterated-galois-maps-the-2-hop-inequality}{The 2-hop inequality}} - I find this one very helpful when looking at maps in diagram form. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2188/petepics-chapter-1-iterated-galois-maps-the-3-hop-equivalence}{The 3-hop equivalence}} - I don't think this is in the book, and it helped me get a better intuition of Galois connections. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2189/petepics-chapter-1-iterated-galois-maps-the-4-hop-fixed-point}{The 4-hop fixed point}} - Apparently every Galois connection has a bijection embedded inside it. This wasn't clear to me from the book, so working through the pictures was quite helpful. \end{itemize} \item \emph{New: 18 June} \textbf{\href{https://forum.azimuthproject.org/discussion/2254/petepics-chapter-1-computing-adjoints}{Computing adjoints}} - A visual interpretation of John's formulas from Lecture 6. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2190/petepics-chapter-1-galois-connection-non-bijectiveness}{Non-bijectiveness}} - Galois connections are interesting because they're not-quite bijections. I worked out a few small results (with pictures) to explore how exactly that works. \item \emph{New: 18 June} \textbf{\href{https://forum.azimuthproject.org/discussion/2255/petepics-chapter-1-picture-proof-that-left-adjoints-preserve-joins}{Picture proof that left adjoints preserve joins}} - The proof of this fact dances back and forth between sets, joins, and adjunctions, so it's a bit hard to follow. I put the building blocks in picture form, and show how to glue them together in a ``picture proof.'' It turned out quite pretty! \item \textbf{\href{https://forum.azimuthproject.org/discussion/2191/petepics-chapter-1-a-big-mnemonic-image-for-galois-connections}{A big mnemonic image for Galois connections}} - All the math and pictures above packed into one master image. This has become my starting point whenever thinking about Galois connections. The topic was quite confusing to me at first, but this image has helped me tremendously. However, the image relies on terms and visual conventions defined in the earlier posts, so you'll need to read them first. \end{enumerate} \hypertarget{chapter_2}{}\subsubsection*{{Chapter 2}}\label{chapter_2} \begin{enumerate}% \item \textbf{\href{https://forum.azimuthproject.org/discussion/2256/petepics-chapter-2-picture-proof-that-oplax-left-adjoint-implies-lax-right-adjoint}{Picture proof that oplax left adjoint means lax right adjoint}} - Another proof built up from picture fragments, to help keep track of all the properties involved. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2257/petepics-chapter-2-posets-are-subsets-of-some-total-order}{Posets are subsets of a total order}} - I wanted to verify that you can always put a poset in some linear order, so that I could do so in later pictures. This post has little bearing on Chapter 2 concepts. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2258/petepics-chapter-2-visualizing-product-orders}{Visualizing product orders}} - Chapter 2 makes heavy use of order products, so I wanted a visual reference to help my intuition. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2259/petepics-chapter-2-monoidal-total-orders}{Monoidal total orders}} - I start with the simplest case for my first pictures of how monoidal products work. I quickly discover that I have no idea how to represent associativity visually. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2260/petepics-chapter-2-monoidal-partial-orders}{Monoidal partial orders}} - Poset products are harder to draw, but in a very simple case I can manage to make a picture and learn a few things. I remain stumped about the question of freedom in choosing the monoidal unit. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2261/petepics-chapter-2-adjunction-plots}{Adjunction plots}} - As I was working on this chapter, I realized that the behavior of an adjunction can be drawn in function plot form, not just in sets-and-arrows form. This gave me an interesting new perspective on the Chapter 1 material. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2262/petepics-chapter-2-many-products-abstract}{Many products: abstract}} - Most of Chapter 2 involves binary relations. I decided to put them all in product form to make it easier to spot the similarities and differences. Topics are: monoids, monoidal preorders, enriched categories, and closed preorders. \item \textbf{\href{https://forum.azimuthproject.org/discussion/2263/petepics-chapter-2-many-products-cost}{Many products: Cost}} - Using \textbf{Cost} as a concrete example lets me draw more helpful pictures of the various products. At the end, I combine several of the ideas above into a big 3D ``adjunction plot'' that captures most of the behavior of the \textbf{Cost} closed preorder. \end{enumerate} \hypertarget{chapter_3}{}\subsubsection*{{Chapter 3}}\label{chapter_3} \emph{(Nothing yet.)} [[!redirects \end{document}