% (find-angg "LATEX/2010diags.tex")
% (find-angg ".emacs" "idct")
% (defun b () (interactive) (find-zsh "bibtex 2010diags-outer"))
% (defun c () (interactive) (find-zsh    "cd ~/LATEX/idarct/ && latex  2010diags-outer.tex"))
% (defun d () (interactive) (find-xdvi-page "~/LATEX/idarct/2010diags-outer.dvi"))
% (find-xdvi-page "~/LATEX/idarct/2010diags-outer.dvi")
%
% (ee-cp "~/LATEX/2010diags.pdf" (ee-twupfile "LATEX/2010diags.pdf") 'over)
% (ee-cp "~/LATEX/2010diags.pdf" (ee-twusfile "LATEX/2010diags.pdf") 'over)
% (find-twusfile     "LATEX/" "2010diags")
% http://angg.twu.net/LATEX/2010diags.pdf



\documentclass{birkjour}
\usepackage[latin1]{inputenc}
\usepackage[colorlinks]{hyperref} % (find-es "tex" "hyperref")
%
\usepackage{subfig}               % (find-es "tex" "floats")
\usepackage{float}                % (find-es "tex" "floats")
\floatstyle {boxed}                 % (find-floatpage 3 "\\floatstyle")
\newfloat   {boxedfigure}{tbp}{lod} % (find-floatpage 2 "\\newfloat")
\floatname  {boxedfigure}{Figure}   % (find-floatpage 3 "\\floatname")
\newsubfloat{boxedfigure}           % (find-subfigpage (+ 8 54) "\\newsubfloat")
% http://tex.stackexchange.com/questions/9256/using-one-counter-for-different-floats
% http://stackoverflow.com/questions/3865036/using-a-single-count-for-figures-and-tables-in-latex
% The "\let" below is a dirty trick to makefigures and boxedfigures
% use the same counter.
\makeatletter
\let\c@boxedfigure\c@figure
\makeatother
%
\usepackage{edrx08}       % (find-dn4ex "edrx08.sty")
%L process "edrx08.sty"  -- (find-dn4ex "edrx08.sty")
%\input edrxheadfoot.tex   % (find-dn4ex "edrxheadfoot.tex")
\input 2010diags.dnt
\begin{document}

% For "article":
\def\mychapter   #1#2{\section{#1}\label{#2}}
\def\mysection   #1#2{\subsection{#1}\label{#2}}
\def\mysubsection#1#2{\subsubsection{#1}\label{#2}}

\def\mysection   #1#2{\section{#1}\label{#2}}

\title[Internal Diagrams and Archetypal Reasoning]
  {Internal Diagrams and Archetypal\\ Reasoning in Category Theory}


\author[Eduardo Ochs]{Eduardo Ochs}

\address{LLaRC, PURO\\
R.\ Recife, S/N\\
Jardim Belavista
Rio das ostras, RJ
Brazil}

\email{eduardoochs@gmail.com}


\date{2013apr12}

\begin{abstract}
We can regard operations that discard information, like specializing
to a particular case or dropping the intermediate steps of a proof, as
{\sl projections}, and operations that reconstruct information as {\sl
  liftings}. By working with several projections in parallel we can
make sense of statements like ``$\Set$ is the archetypal Cartesian
Closed Category'', which means that proofs about CCCs can be done in
the ``archetypal language'' and then lifted to proofs in the general
setting. The method works even when our archetypal language is
diagrammatical, has potential ambiguities, is not completely
formalized, and does not have semantics for all terms. We illustrate
the method with an example from hyperdoctrines and another from
synthetic differential geometry.
\end{abstract}

% \bsk

% {\footnotesize (Submitted to the Special Issue on Categorical Logic of
%   {\sl Logica Universalis}. The text may be considered in final form,
%   modulo a missing ``thanks'' section and corrections and suggestions
%   from the referees, but there are still many formatting adjustments
%   to be made... This paper is not in the {\tt birkjour} format yet!)}

\maketitle

% http://article.gmane.org/gmane.science.mathematics.categories/5991

% (find-dn4 "experimental.lua" "BOX")
% (find-LATEXfile "2010diags.dnt")

% \def\Setito{\Set^{\ito}}
% \def\Setmto{\Set^{\monicto}}
% \def\Pred{¦{Pred}}
% \def\Pred{Ð{Pred}}
% \def\cob{¯{c.o.b.}}
% \def\EqE{{=}E}
% 
% \def\TB{§\!_{B}}
% \def\TAB{§\!_{A×B}}
% \def\SDTB{Æ_\DD\!\TB}
% \def\pip     {   \pi'}
% \def\opip    {\ov\pi'}
% \def\pipstar {   \pi^{\prime*}}
% \def\opipstar{\ov\pi^{\prime*}}
% \def\pistar  {   \pi^{*}}
% \def\opistar {\ov\pi^{*}}
% \def\opi     {\ov\pi}
% \def\EqEdomain{\opipstarÆ_\DD\TB \land \opistar\dd^*Q}
% \def\EqEL      {\opipstarÆ_\DD\TB}
% \def\EqER      {\opistar\dd^*Q}
% \def\EqEdomthin{\EqEL{´}\EqER}
% \def\EqEdomwide{\EqEL\land\EqER}
% 
% \def\ctabular#1{\begin{tabular}{c}#1\end{tabular}}
% \def\ltabular#1{\begin{tabular}{l}#1\end{tabular}}
% \def\rtabular#1{\begin{tabular}{r}#1\end{tabular}}
% 
% 
% \begin{boxedfigure}
%   \centering
%   \subfloat[First.]{
%     $\diag{NT-alphax-int-ext}$
%     \label{NTa}
%   }\\
%   \subfloat[Second.]{
%     $\diag{NT-T-int-ext}$
%     \label{NTb}
%   } 
%   \caption{NTs}
%   \label{NTs}
% \end{boxedfigure}



% \bsk

% (find-es "tex" "floats")
% (find-fline "/usr/share/doc/texlive-doc/latex/float/README" "[H]")
\input 2010diags-body.tex   % (find-fline "2010diags-body.tex")

\bibliography{catsem,filters}
\bibliographystyle{alpha}

\end{document}


% ----------------------------------------
%                 _       _                                       _   
%   ___ _ __   __| |   __| | ___   ___ _   _ _ __ ___   ___ _ __ | |_ 
%  / _ \ '_ \ / _` |  / _` |/ _ \ / __| | | | '_ ` _ \ / _ \ '_ \| __|
% |  __/ | | | (_| | | (_| | (_) | (__| |_| | | | | | |  __/ | | | |_ 
%  \___|_| |_|\__,_|  \__,_|\___/ \___|\__,_|_| |_| |_|\___|_| |_|\__|
%                                                                     
% ----------------------------------------


\end{document}





;; (find-find-links-links "\\M-G" "latexfigure" "name")
;; (find-eewrap-links "G" "latexfigure" "diagname")
;; (find-efunction 'find-eewrap-links)

;; M-G: latexfigure
(define-key eev-mode-map "\M-G" 'eewrap-latexfigure)

(defun  eewrap-latexfigure () (interactive)
  (ee-this-line-wrapn 1 'ee-wrap-latexfigure))
(defun ee-wrap-latexfigure (diagname)
  "An internal function used by `eewrap-latexfigure'."
  (ee-template0 "\
\\begin{<}figure{>}
  $$\\diag{<}{diagname}{>}$$
  \\caption{<}{diagname}{>}
  \\label  {<}{diagname}{>}
\\end{<}figure{>}
"))


(defun boxedfigure () (interactive)
  (insert "
\\begin{boxedfigure}
  \\centering
  \\subfloat[.]{
    $\\diag{}$
    \\label{}
  }\\\\
  \\subfloat[.]{
    $\\diag{}$
    \\label{}
  } 
  \\caption{}
  \\label  {}
\\end{boxedfigure}
"))




% (find-854     "" "trees-to-dictionaries")
% (find-854page 21 "trees-to-dictionaries")





% Local Variables:
% coding:           raw-text-unix
% modes: (latex-mode emacs-lisp-mode)
% ee-anchor-format: "«%s»"
% End:
