% (find-LATEX "2020notes-on-notation.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2020notes-on-notation.tex" :end))
% (defun d () (interactive) (find-pdf-page      "~/LATEX/2020notes-on-notation.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2020notes-on-notation.pdf"))
% (defun e () (interactive) (find-LATEX "2020notes-on-notation.tex"))
% (defun u () (interactive) (find-latex-upload-links "2020notes-on-notation"))
% (defun v () (interactive) (find-2a '(e) '(d)) (g))
% (find-pdf-page   "~/LATEX/2020notes-on-notation.pdf")
% (find-sh0 "cp -v  ~/LATEX/2020notes-on-notation.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2020notes-on-notation.pdf /tmp/pen/")
%   file:///home/edrx/LATEX/2020notes-on-notation.pdf
%               file:///tmp/2020notes-on-notation.pdf
%           file:///tmp/pen/2020notes-on-notation.pdf
% http://angg.twu.net/LATEX/2020notes-on-notation.pdf
% (find-LATEX "2019.mk")

\documentclass[oneside,12pt]{article}
\usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
%\usepackage{colorweb}                 % (find-es "tex" "colorweb")
%\usepackage{tikz}
%
% (find-dn6 "preamble6.lua" "preamble0")
%\usepackage{proof}   % For derivation trees ("%:" lines)
%\input diagxy        % For 2D diagrams ("%D" lines)
%\xyoption{curve}     % For the ".curve=" feature in 2D diagrams
%
\usepackage{edrx15}               % (find-LATEX "edrx15.sty")
\input edrxaccents.tex            % (find-LATEX "edrxaccents.tex")
\input edrxchars.tex              % (find-LATEX "edrxchars.tex")
\input edrxheadfoot.tex           % (find-LATEX "edrxheadfoot.tex")
\input edrxgac2.tex               % (find-LATEX "edrxgac2.tex")
%
% (find-es "tex" "geometry")
\begin{document}

\catcode`\^^J=10
\directlua{dofile "dednat6load.lua"}  % (find-LATEX "dednat6load.lua")


In 2019 I submitted to a conference an extended abstract ([MDE]) that
started with:

\begin{quote}

  Imagine two category theorists, Aleks and Bob, who both think very
  visually and who have exactly the same background. One day Aleks
  discovers a theorem, $T_1$, and sends an e-mail, $E_1$, to Bob,
  stating and proving $T_1$ in a purely algebraic way; then Bob is
  able to reconstruct by himself Aleks's diagrams for $T_1$ exactly as
  Aleks has thought them. We say that Bob has reconstructed the
  {\it missing diagrams} in Aleks's e-mail.

  Now suppose that Carol has published a paper, $P_2$, with a theorem
  $T_2$. Aleks and Bob both read her paper independently, and both
  pretend that she thinks diagrammatically in the same way as them.
  They both ``reconstruct the missing diagrams'' in $P_2$ in the same
  way, even though Carol has never used those diagrams herself.

\end{quote}

After some time I realized that good techniques for reconstructing and
drawing the ``missing diagrams'' in a text should 1) use exactly the
same notation used in the rest of the text, 2) produce diagrams that
are easy to formalize, in the sense that it should be possible to
extract from them all the definitions, typings, and equations (given
some hints, as discussed in [IDARCT])



[MDE]: \url{http://angg.twu.net/math-b.html#idarct}

[IDARCT]: \url{http://angg.twu.net/math-b.html#missing-diagrams-elephant}



\end{document}

%  __  __       _        
% |  \/  | __ _| | _____ 
% | |\/| |/ _` | |/ / _ \
% | |  | | (_| |   <  __/
% |_|  |_|\__,_|_|\_\___|
%                        
% <make>

 (eepitch-shell)
 (eepitch-kill)
 (eepitch-shell)
# (find-LATEXfile "2019planar-has-1.mk")
make -f 2019.mk STEM=2020notes-on-notation veryclean
make -f 2019.mk STEM=2020notes-on-notation pdf

% Local Variables:
% coding: utf-8-unix
% ee-tla: "noo"
% End:

