diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet index 602047a..0c25d92 100644 --- a/books/bookvolbib.pamphlet +++ b/books/bookvolbib.pamphlet @@ -3156,6 +3156,12 @@ The first and second algorithms are deterministic, the third is probabilistic. \end{adjustwidth} +\subsection{Category Theory} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\bibitem[Baez 09]{Baez09} Baez, John C.; Stay, Mike\\ +``Physics, Topology, Logic and Computation: A Rosetta Stone''\\ +\verb|arxiv.org/pdf/0903.0340v3.pdf| + \subsection{Proving Axiom Correct} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \bibitem[Bertot 04]{Bert04} Bertot, Yves; Cast\'eran, Pierre\\ diff --git a/changelog b/changelog index 8793a01..6dd967a 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20140623 tpd src/axiom-website/patches.html 20140623.02.tpd.patch +20140623 tpd books/bookvolbib.pamphlet add Baez09 20140623 tpd src/axiom-website/patches.html 20140623.01.tpd.patch 20140623 tpd book/*.txt cleanup complete 20140623 tpd book/timeline of join/leave complete diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 40be27d..2147e73 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4486,6 +4486,8 @@ books/Makefile remove debugging message book/*.txt axiom-developer email cleanup 20140623.01.tpd.patch book/*.txt cleanup complete, book/timeline of join/leave complete +20140623.02.tpd.patch +books/bookvolbib.pamphlet add Baez09