% (find-LATEX "2022ochs-meteor1.tex")
% (defun c () (interactive) (find-LATEXsh "pdflatex -record 2022ochs-meteor1.tex" :end))
% (defun C () (interactive) (find-LATEXSH "pdflatex 2022ochs-meteor1.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page      "~/LATEX/2022ochs-meteor1.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2022ochs-meteor1.pdf"))
% (defun e () (interactive) (find-LATEX "2022ochs-meteor1.tex"))
% (defun u () (interactive) (find-latex-upload-links "2022ochs-meteor1"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (defun d0 () (interactive) (find-ebuffer "2022ochs-meteor1.pdf"))
%          (code-eec-LATEX "2022ochs-meteor1")
% (find-pdf-page   "~/LATEX/2022ochs-meteor1.pdf")
% (find-sh0 "cp -v  ~/LATEX/2022ochs-meteor1.pdf /tmp/")
%   file:///home/edrx/LATEX/2022ochs-meteor1.pdf
%               file:///tmp/2022ochs-meteor1.pdf
% http://angg.twu.net/LATEX/2022ochs-meteor1.pdf
% (find-LATEX "2019.mk")
% (find-lualatex-links "2022ochs-meteor1" "om1")

% This is the main file of the chapter
%
%   "On the missing diagrams in Category Theory"
%   (by Eduardo Ochs)
%
% of the Handbook of Abductive Cognition. See:
%
%   https://meteor.springer.com/abductivecognition
%
% This file uses the Springer Verlag "svmult" class and loads these
% files,
%
%   2022ochs-meteor1-body.tex
%   2022ochs-meteor1.dnt
%   2022ochs-meteor1.bib
%
% that I produce in a semi-automatic way from the "main" version of
% this document, that is the one that uses standard classes (and
% Dednat6! Ugh!), and that is here:
%
%   http://angg.twu.net/math-b.html#md
%   http://angg.twu.net/LATEX/2022on-the-missing.pdf
%   http://angg.twu.net/LATEX/2022on-the-missing.zip
%
% The "main" version is tricky to compile but this one shouldn't be.
% If you have any difficulties with this please get in touch:
%
%   eduardoochs@gmail.com

% Mini-index:
% «.defs»		(to "defs")
% «.title»		(to "title")
% «.abstract»		(to "abstract")
% «.toc»		(to "toc")
% «.body»		(to "body")
%
% «.make»		(to "make")




\documentclass[graybox, natbib]{svmult}
%\documentclass[graybox, natbib, nosecnum]{svmult}
\bibpunct{(}{)}{;}{a}{}{,} % suppress commas between author-names and year
%\pdfoutput=1   %forces use of pdflatex. Disable if you prefer to use .eps or .ps figures.
% choose options for [] as required from the list
% in the Reference Guide
\usepackage{mathptmx}       % selects Times Roman as basic font
\usepackage{helvet}         % selects Helvetica as sans-serif font
\usepackage{courier}        % selects Courier as typewriter font
\usepackage{type1cm}        % activate if the above 3 fonts are
                            % not available on your system
\usepackage{makeidx}         % allows index generation
\usepackage{graphicx}        % standard LaTeX graphics tool
                             % when including figure files
\usepackage{multicol}        % used for the two-column index
\usepackage[bottom]{footmisc}% places footnotes at page bottom
\usepackage[normalem]{ulem}	% for strike-through of text with \sout{}
\usepackage{hyperref}   % for hyperlinks
\usepackage{soul}       % for high-lighting of text
\newcommand{\hbindex}[1]{\hl{#1}\index{#1}}  % highlights index entries

%\makeindex             % used for the subject index
                        % please use the style svind.ist with
                        % your makeindex program

%\usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref")
%\usepackage{tocloft}                   % (find-es "tex" "tocloft")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage{stmaryrd}
\usepackage{stmaryrd}
\usepackage{bm}                        % (find-es "tex" "bm")
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
\usepackage{proof}   % For derivation trees ("%:" lines)
\input diagxy        % For 2D diagrams ("%D" lines)
\xyoption{curve}     % For the ".curve=" feature in 2D diagrams
%
\usepackage[utf8]{inputenc}
\input edrx21chars-d.tex        % (find-LATEX "edrx21chars-d.tex")
\usepackage{edrx21}             % (find-LATEX "edrx21.sty")
%
\begin{document}

\input 2022ochs-meteor1.dnt     % (find-fline "2022ochs-meteor1.dnt")
\def\pu{}


% «defs»  (to ".defs")
% From: (find-LATEX "2022on-the-missing.tex" "defs")
% \co: a low-level way to typeset code; a poor man's "\verb"
\def\co#1{{%
  \def\%{\char37}%
  \def\\{\char92}%
  \def\^{\char94}%
  \def\~{\char126}%
  \tt#1%
  }}
\def\qco#1{`\co{#1}'}
\def\qqco#1{``\co{#1}''}

\def\ph{\phantom}

\def\respcomp{\mathsf{respcomp}}
\def\respids {\mathsf{respids}}
\def\sqcond  {\mathsf{sqcond}}
\def\assoc   {\mathsf{assoc}}
\def\idL     {\mathsf{idL}}
\def\idR     {\mathsf{idR}}
\def\univ    {\mathsf{univ}}
\def\Ran     {\mathsf{Ran}}

\def\sfC  {\mathsf{C}}
\def\sfSet{\mathsf{Set}}
\def\Ring {\mathbf{Ring}}
\def\nameof#1{\ulcorner#1\urcorner}
\def\catK {\mathbf{K}}
\def\Dn   {\Downarrow}

\def\veq{\rotatebox{90}{$=$}}
\def\liml{\underleftarrow {\lim}{}}
\def\limr{\underrightarrow{\lim}{}}
\def\veq{\rotatebox{90}{$=$}}

\def\Yzero    {\mathsf{Y0}}
\def\Yzeroplus{\mathsf{Y0^+}}
\def\Yone     {\mathsf{Y1}}
\def\Ytwo     {\mathsf{Y2}}
\def\Ythree   {\mathsf{Y3}}
\def\Yfour    {\mathsf{Y4}}
\def\Yfive    {\mathsf{Y5}}

\def\origphi{\phi}

\def\AProofOf   #1{\llangle#1\rrangle}
\def\AllProofsOf#1{\llbracket#1\rrbracket}

\def\DONE{(DONE)}
\def\DONE{}

\def\slowdiag#1{\standout{#1}}
\def\slowdiag#1{\diag{#1}}




%  _____ _ _   _      
% |_   _(_) |_| | ___ 
%   | | | | __| |/ _ \
%   | | | | |_| |  __/
%   |_| |_|\__|_|\___|
%                     
% «title»  (to ".title")
%
\title*{On the the missing diagrams \\ in Category Theory}
%\author{Eduardo Ochs \thanks{corresponding author}}
\author {Eduardo Ochs}
\institute{Eduardo Ochs \at Universidade Federal Fluminense, Rio das
  Ostras, RJ, Brazil, \email{eduardoochs@gmail.com}}
%
\maketitle

%     _    _         _                  _   
%    / \  | |__  ___| |_ _ __ __ _  ___| |_ 
%   / _ \ | '_ \/ __| __| '__/ _` |/ __| __|
%  / ___ \| |_) \__ \ |_| | | (_| | (__| |_ 
% /_/   \_\_.__/|___/\__|_|  \__,_|\___|\__|
%                                           
% «abstract»  (to ".abstract")
%
\abstract{
  %
  Most texts on Category Theory are written in a very terse style, in
  which people pretend a) that all concepts are visualizable, and b)
  that the readers can reconstruct the diagrams that the authors had
  in mind based on only the most essential cues. As an outsider I
  spent years believing that the techniques for drawing diagrams were
  part of the oral culture of the field, and that the insiders could
  read texts on CT reconstructing the ``missing diagrams'' in them
  line by line and paragraph by paragraph, and drawing for each page
  of text a page of diagrams with all the diagrams that the authors
  had omitted. My belief was wrong: there are lots of conventions for
  drawing diagrams scattered through the literature, but that unified
  diagrammatic language did not exist. In this chapter I will show an
  attempt to reconstruct that (imaginary) language for missing
  diagrams: we will see an extensible diagrammatic language, called
  DL, that follows the conventions of the diagrams in the literature
  of CT whenever possible and that seems to be adequate for drawing
  ``missing diagrams'' for Category Theory. Our examples include the
  ``missing diagrams'' for adjunctions, for the Yoneda Lemma, for Kan
  extensions, and for geometric morphisms, and how to formalize them
  in Agda.
  %
}

\keywords{Category Theory, diagrams, diagrammatic reasoning, formal mathematics.}


% «toc»  (to ".toc")
% (find-LATEX "2022on-the-missing.tex" "toc")
%\renewcommand{\cfttoctitlefont}{\bfseries}
%\setlength{\cftbeforesecskip}{2.5pt}
\tableofcontents

% «body»  (to ".body")
% (find-LATEX "2022on-the-missing.tex" "save-body")
% (find-LATEX "2022ochs-meteor1-body.tex")
\input 2022ochs-meteor1-body.tex



% For bibtex users:
% For references use the `Springer SocPsych Style'.
\bibliographystyle{apa}  %for bibtex
\bibliography{2022ochs-meteor1}  % (find-fline "~/LATEX/2022ochs-meteor1.bib")

\GenericWarning{Success:}{Success!!!}  % Used by `M-x cv'

\end{document}

%  __  __       _        
% |  \/  | __ _| | _____ 
% | |\/| |/ _` | |/ / _ \
% | |  | | (_| |   <  __/
% |_|  |_|\__,_|_|\_\___|
%                        
% «make»  (to ".make")

• (eepitch-shell)
• (eepitch-kill)
• (eepitch-shell)
cd ~/LATEX/
make -f 2019.mk STEM=2022ochs-meteor1 veryclean
cp -v    2022on-the-missing.dnt \
         2022ochs-meteor1.dnt
pdflatex 2022ochs-meteor1.tex
bibtex   2022ochs-meteor1
pdflatex 2022ochs-meteor1.tex
pdflatex -record 2022ochs-meteor1.tex

• (eepitch-shell)
• (eepitch-kill)
• (eepitch-shell)
cd ~/LATEX/
flsfiles-zip 2022ochs-meteor1.fls 2022ochs-meteor1.zip \
             2022ochs-meteor1.tex \
             2022ochs-meteor1.bib apa.bst

cp -v ~/LATEX/2022ochs-meteor1.pdf /tmp/
cp -v ~/LATEX/2022ochs-meteor1.zip /tmp/

rm -rfv  /tmp/edrx-latex/
cd /tmp/
mkdir    /tmp/edrx-latex/
unzip -d /tmp/edrx-latex/ ~/LATEX/2022ochs-meteor1.zip
cd       /tmp/edrx-latex/
pdflatex 2022ochs-meteor1.tex
bibtex   2022ochs-meteor1
pdflatex 2022ochs-meteor1.tex
pdflatex 2022ochs-meteor1.tex

# (find-fline    "/tmp/edrx-latex/")
# (find-pdf-page "/tmp/edrx-latex/2022ochs-meteor1.pdf")
# (find-pdf-text "/tmp/edrx-latex/2022ochs-meteor1.pdf")


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