Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.
% (find-angg "LATEX/2019elephant-poster-y.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2019elephant-poster-y.tex"))
% (defun d () (interactive) (find-pdf-page "~/LATEX/2019elephant-poster-y.pdf"))
% (defun b () (interactive) (find-zsh "bibtex 2019elephant-poster-y; makeindex 2019elephant-poster-y"))
% (defun e () (interactive) (find-LATEX "2019elephant-poster-y.tex"))
% (defun u () (interactive) (find-latex-upload-links "2019elephant-poster-y"))
% (find-xpdfpage "~/LATEX/2019elephant-poster-y.pdf")
% (find-sh0 "cp -v  ~/LATEX/2019elephant-poster-y.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2019elephant-poster-y.pdf /tmp/pen/")
%   file:///home/edrx/LATEX/2019elephant-poster-y.pdf
%               file:///tmp/2019elephant-poster-y.pdf
%           file:///tmp/pen/2019elephant-poster-y.pdf
% http://angg.twu.net/LATEX/2019elephant-poster-y.pdf

\directlua{tf_push("2019elephant-poster-y.tex")}

%D diagram yoneda-curve-with-terms
%D 2Dx     100    +40
%D 2D  100        A
%D 2D             |
%D 2D             v
%D 2D  +25 C |-> RC
%D 2D
%D 2D  +20 F1 -> F2
%D 2D             |
%D 2D             v
%D 2D  +25       F3
%D 2D
%D ren F1 F2 F3 ==> (C{→}\_) (A{→}R\_) \phantom{R}
%D
%D (( C RC |->
%D    A RC  -> .plabel= r γ
%D    F1 F2 -> .plabel= l T
%D    F1 F2 midpoint A RC midpoint <-> .curve= ^14pt
%D ))
%D enddiagram

\pu

$$\diag{yoneda-curve-with-terms}$$

\directlua{tf_pop()}



% Local Variables:
% coding: utf-8-unix
% End: