|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (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: