Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
% (find-angg "LATEX/2017adjunctions.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2017adjunctions.tex"))
% (defun d () (interactive) (find-xpdfpage "~/LATEX/2017adjunctions.pdf"))
% (defun e () (interactive) (find-LATEX "2017adjunctions.tex"))
% (defun u () (interactive) (find-latex-upload-links "2017adjunctions"))
% (find-xpdfpage "~/LATEX/2017adjunctions.pdf")
% (find-sh0 "cp -v  ~/LATEX/2017adjunctions.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2017adjunctions.pdf /tmp/pen/")
%   file:///home/edrx/LATEX/2017adjunctions.pdf
%               file:///tmp/2017adjunctions.pdf
%           file:///tmp/pen/2017adjunctions.pdf
% http://angg.twu.net/LATEX/2017adjunctions.pdf
\documentclass[oneside]{book}
\usepackage[colorlinks]{hyperref} % (find-es "tex" "hyperref")
%\usepackage[latin1]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage{color}                % (find-LATEX "edrx15.sty" "colors")
\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-angg "LATEX/edrx15.sty")
\input edrxaccents.tex            % (find-angg "LATEX/edrxaccents.tex")
\input edrxchars.tex              % (find-LATEX "edrxchars.tex")
\input edrxheadfoot.tex           % (find-dn4ex "edrxheadfoot.tex")
\input edrxgac2.tex               % (find-LATEX "edrxgac2.tex")
%
\begin{document}

\catcode`\^^J=10
\directlua{dednat6dir = "dednat6/"}
\directlua{dofile(dednat6dir.."dednat6.lua")}
\directlua{texfile(tex.jobname)}
\directlua{verbose()}
\directlua{output(preamble1)}     % (find-dn6 "preamble6.lua" "preamble1")
\def\expr#1{\directlua{output(tostring(#1))}}
\def\eval#1{\directlua{#1}}
\def\pu{\directlua{pu()}}

\directlua{dofile "edrxtikz.lua"} % (find-LATEX "edrxtikz.lua")
\directlua{dofile "edrxpict.lua"} % (find-LATEX "edrxpict.lua")
%L V.__tostring = function (v) return format("(%.3f,%.3f)", v[1], v[2]) end


%:*->*\to *


\newpage

\def\Sets{\mathsf{Sets}}


$Ï$ and $Ï'$ are natural transformations

$(Ã):\SetÃ\Setâ\Set$

$(â):\Set^\opÃ\Setâ\Set$

\msk

$(Ã):\SetÃ\Setâ\Set$

$A,B,A',B':\Objs(\Set)$

$(A,B),(A',B'):\Objs(\SetÃ\Set)$

$(α,β):(A,B)â(A',B')$

$(α,β):\Hom_{\SetÃ\Set}((A,B),(A',B'))$

%D diagram foo
%D 2Dx     100     +45    +55     +45
%D 2D  100 A1 |--> A2     B1 |--> B2
%D 2D      |        |     |        |
%D 2D      |  |-->  |     |  |-->  |
%D 2D      v        v     v        v
%D 2D  +30 A3 |--> A4     B3 |--> B4     
%D 2D
%D ren  A1 A2   ==>    (A,B)  (Ã)_0(A,B)
%D ren  A3 A4   ==>  (A',B')  (Ã)_0(A',B')
%D ren  B1 B2   ==>    (A,B)  AÃB
%D ren  B3 B4   ==>  (A',B')  A'ÃB'
%D (( A1 A2 |->  .plabel= a (Ã)_0
%D    A1 A3 ->   .plabel= l (α,β)
%D    A2 A4 ->   .plabel= r (Ã)_1(α,β)
%D    A3 A4 |->  .plabel= b (Ã)_0
%D    A1 A4 harrownodes nil 20 nil |-> .plabel= a (Ã)_1
%D    B1 B2 |->  .plabel= a (Ã)_0
%D    B1 B3 ->   .plabel= l (α,β)
%D    B2 B4 ->   .plabel= r \color{red}{αÃβ}
%D    B3 B4 |->  .plabel= b (Ã)_0
%D    B1 B4 harrownodes nil 20 nil |-> .plabel= a (Ã)_1
%D ))
%D enddiagram
%D
$$\pu
  \diag{foo}
$$



%D diagram bar
%D 2Dx     100     +45    +55     +45
%D 2D  100 A1 |--> A2     B1 |--> B2
%D 2D      |        |     |        |
%D 2D      |  |-->  |     |  |-->  |
%D 2D      v        v     v        v
%D 2D  +30 A3 |--> A4     B3 |--> B4     
%D 2D
%D ren  A1 A2   ==>      (A^\op,B)  (â)_0(A^\op,B)
%D ren  A3 A4   ==>  ({A'}^\op,B')  (â)_0({A'}^\op,B')
%D ren  B1 B2   ==>      (A^\op,B)  A{â}B
%D ren  B3 B4   ==>  ({A'}^\op,B')  A'{â}B'
%D (( A1 A2 |->  .plabel= a (â)_0
%D    A1 A3 ->   .plabel= l (α^\op,β)
%D    A2 A4 ->   .plabel= r (â)_1(α^\op,β)
%D    A3 A4 |->  .plabel= b (â)_0
%D    A1 A4 harrownodes nil 20 nil |-> .plabel= a (â)_1
%D    B1 B2 |->  .plabel= a (â)_0
%D    B1 B3 ->   .plabel= l (α^\op,β)
%D    B2 B4 ->   .plabel= r \color{red}{αâβ}
%D    B3 B4 |->  .plabel= b (â)_0
%D    B1 B4 harrownodes nil 20 nil |-> .plabel= a (â)_1
%D ))
%D enddiagram
%D
$$\pu
  \diag{bar}
$$


%:
%:  α:A->A'  β:B->B'         
%:  ----------------
%:   αÃβ:AÃB->A'ÃB'
%:
%:        ^dp1
%:
%:   A  B                 A B    
%:  ------Ï             -----Ï'
%:  :AÃB->A   α:A->A'   :AÃB->B    β:B->B'         
%:  -----------------;  -----------------;
%:       :AÃB->A'           :AÃB->B'
%:       ---------------------------\ang{,}
%:               :AÃB->A'ÃB'
%:
%:               ^dp2
%:
\pu
$$\ded{dp1}$$
$$\ded{dp2}$$

$$αÃβ \;\;:=\;\; \ang{(Ï;α),(Ï';β)}$$
$$(Ã)_1(α,β) \;\;:=\;\; αÃβ$$
$$(Ã)_1(γ) \;\;:=\;\; (Ïγ)Ã(Ï'γ)$$

%:
%:  α^\op:A^\op->{A'}^\op
%:  ---------------------
%:       α:A'->A             β:B->B'         
%:       -------------------------------
%:              α{â}β:(A{â}B)->(A'âB')
%:
%:                ^di1
%:
%:       α:A'->A   [f:AâB]^1      β:B->B'         
%:       ---------------------------------;;
%:            α;f;β:A'âB'
%:       ---------------------------------------»
%:       »f{:}A{â}B.(α;f;β):(A{â}B)â(A'{â}B')
%:
%:       ^di2
%:
\pu
$$\ded{di1}$$
$$\ded{di2}$$

$$α{â}β \;\;:=\;\; »f{:}A{â}B.(α;f;β)$$
$$(â)_1(α^\op,β) \;\;:=\;\; α{â}β$$
$$(Ã)_1(∧) \;\;:=\;\; (Ï∧)^\op{}â(Ï'∧)$$

%:
%:   A:\Objs(\catA)   B:\Objs(\catB)
%:   -------------------------------(Ã)_0
%:      (A,B):\Objs(\catAÃ\catB)        
%:
%:      ^da
%:
%:   A:\Objs(\Set)   B:\Objs(\Set)
%:   -------------------------------(Ã)_0
%:      (A,B):\Objs(\SetÃ\Set)        
%:
%:      ^db
%:
%:   A:\Sets   B:\Sets
%:   -----------------Ã
%:      AÃB:\Sets
%:
%:      ^dc
\pu
$$\ded{da}$$
$$\ded{db}$$
$$\ded{dc}$$


\newpage

%:
%:   A'\ton{α}A   A\ton{f}RB       A'\ton{α}A    A\ton{f}RB
%:   -----------------------;      ----------L_1  ----------â
%:         A'->RB                   LA'->LA         LA->B
%:         ------â             =    ---------------------;
%:         LA'->B                           LA'->B
%:
%:         ^nat-fl-1                        ^nat-fl-2
%:
%:   LA\ton{g}B   B\ton{β}B'       LA\ton{g}B   B\ton{β}B' 
%:   -----------------------;      ----------â  ----------R_1
%:         LA->B'                     A->RB       RB->RB'            
%:         ------â             =      -------------------â           
%:         A->RB'                           A->RB'            
%:
%:         ^nat-sh-1                        ^nat-sh-2
%:

Naturalities:
%
$$\pu
  \begin{array}{lcrcl}
  (α;f)^â = Lα;f^â  && \ded{nat-fl-1} &=& \ded{nat-fl-2} \\\\
  (g;β)^â = g^â;Rβ  && \ded{nat-sh-1} &=& \ded{nat-sh-2} \\\\
  \end{array}
$$

\bsk

%:  Interdefinabilities:
%:
%:                    A
%:                   --L_0
%:                   LA
%:                 ------\id
%:     A           LA->LA
%:  ------η    =   ------â
%:  A->RLA         A->RLA         η_A = (\id_{LA})^â
%:
%:  ^idef-eta-1    ^idef-eta-2
%:
%:                    B
%:                   --R_0
%:                   RB
%:                 ------\id
%:     B           RB->RB
%:  ------ε   =   ------â         ε_B = (\id_{RB})^â
%:  LRB->B        LRB->B
%:
%:  ^idef-eps-1    ^idef-eps-2
%:
%:                                    A
%:                                 ------η
%:                    A'\ton{α}A   A->RLA
%:                    -------------------;
%:   A'\ton{α}A           A'->RLA
%:   ----------L_1  =     -------â
%:    LA'->LA             LA'->LA
%:
%:    ^idef-L1-1          ^idef-L1-2         Lα = (α;η_A)^â
%:
%:                       B
%:                    ------ε
%:                    LRB->B   B\ton{β}B'
%:                    -------------------;
%:   B\ton{β}B'           LRB->B'
%:   ----------R_1  =     -------â
%:    RB->RB'             RB->RB'            Rβ = (η_B;β)^â
%:
%:    ^idef-R1-1          ^idef-R1-2
%:
%:
%:                   A\ton{g}RB       B
%:                   ----------L_1  ------ε
%:   A\ton{g}RB       LA->LRB       LRB->B
%:   ----------â  =   --------------------;
%:     LA->B                LA->B               g^â = Lg;ε_B
%:
%:     ^idef-fl-1            ^idef-fl-2
%:
%:                       A      LA\ton{f}B
%:                    ------η   ----------R_1
%:   LA\ton{f}B       A->RLA      RLA->RB
%:   ----------â  =   -------------------;
%:     A->RB                A->RB              f^â = η_A;Rf
%:
%:     ^idef-sh-1            ^idef-sh-2
%:

Interdefinabilities:
%
$$\pu
  \begin{array}{lcrcl}
  η_A = (\id_{LA})^â && \ded{idef-eta-1} &=& \ded{idef-eta-2} \\\\
  Lα = (α;η_A)^â    && \ded{idef-L1-1}  &=& \ded{idef-L1-2}  \\\\
  g^â = Lg;ε_B       && \ded{idef-fl-1}  &=& \ded{idef-fl-2}  \\\\
  f^â = η_A;Rf       && \ded{idef-sh-1}  &=& \ded{idef-sh-2}  \\
  Rβ = (η_B;β)^â    && \ded{idef-R1-1}  &=& \ded{idef-R1-2}  \\\\
  ε_B = (\id_{RB})^â && \ded{idef-eps-1} &=& \ded{idef-eps-2} \\\\
  \end{array}
$$



\newpage

\def\p{\phantom}

Expensive adjunction: $(\catA, \catB, L, R, â, â, η, ε)$

Cheap adjunction 1: $\;\;\;(\catA, \catB, L, R, \, â, â \p{, η, ε})$

Cheap adjunction 2: $\;\;\;(\catA, \catB, L,  R, \p{â, â,} η, ε)$

Cheap adjunction 3: $\;\;\;(\catA, \catB, L, R_0, \p{β,} â, η \p{,ε}\!)$

Cheap adjunction 4: $\;\;\;(\catA, \catB, L_0, R, â,  \p{â, η,} ε)$

\bsk

Bijection:

$f = (f^â)^â = L(η_A;Rf);ε_B = Lη_A;LRf;ε_B$

$g = (g^â)^â = η_A;R(Lg;ε_B) = η_A;RLg;Rε_B$ 




\end{document}

% Local Variables:
% coding: utf-8-unix
% ee-anchor-format: "«%s»"
% End: