% This file:
%   http://angg.twu.net/LATEX/2019notes-yoneda.bib.html
%   http://angg.twu.net/LATEX/2019notes-yoneda.bib
%           (find-angg "LATEX/2019notes-yoneda.bib")
% Used by:  (find-angg "LATEX/2019notes-yoneda.tex")
%
% Based on: (find-angg "LATEX/catsem-u.bib")
%      and: (find-angg "LATEX/2020on-a-broken-dnc.bib")



% (find-LATEX "catsem-u.bib" "bib-Eilenberg")
%
@Book{EilenbergSteenrod,
  author = 	 {S. Eilenberg and N. Steenrod},
  title = 	 {Foundations of algebraic topology},
  publisher = 	 {Princeton},
  year = 	 {1952},
  shorthand =    {ES52},
}

% (find-LATEX "catsem-u.bib" "bib-Freyd76")
%
@InProceedings{Freyd76,
  author = 	 {P. Freyd},
  title = 	 {Properties Invariant within Equivalence Types of Categories},
  booktitle =    {Algebra, Topology and Category Theory: A Collection of Papers in Honour of Samuel Eilenberg},
  pages = 	 {55--61},
  year = 	 {1976},
  editor = 	 {A. Heller and M. Tierney},
  publisher =    {Academic Press},
  note =         {\url{http://angg.twu.net/Freyd76.html}},
  shorthand =    {Freyd76},
}

% (find-books "__logic/__logic.el" "girard")
%
@Book{GLT,
  author = 	 {J.-Y. Girard and Y. Lafont and P. Taylor},
  title = 	 {Proofs and Types},
  publisher = 	 {Cambridge},
  year = 	 {1989},
  note =         {\url{http://www.paultaylor.eu/stable/prot.pdf}},
}


% (find-books "__logic/__logic.el" "hott")
%
@Book{HOTT,
  author =       {The {Univalent Foundations Program}},
  title =        {Homotopy Type Theory: Univalent Foundations of Mathematics},
  publisher =    {Institute for Advanced Study},
  % publisher =  {\url{https://homotopytypetheory.org/book}},
  % address =    {Institute for Advanced Study},
  year =         {2013},
  note =         {\url{http://saunders.phil.cmu.edu/book/hott-online.pdf}},
  shorthand =    {HOTT},
}

% «bib-MacLane»  (to ".bib-MacLane")
% (find-books "__cats/__cats.el" "maclane")
%
@Book{CWM2,
  author = 	 {S. MacLane},
  title = 	 {Categories for the Working Mathematician (2nd ed.)},
  publisher = 	 {Springer},
  year = 	 {1997},
  shorthand =    {CWM},
}

@Article{PH1,
  author = 	 {E. Ochs},
  title = 	 {Planar Heyting Algebras for Children},
  journal = 	 {South American Journal of Logic},
  year = 	 {2019},
  volume = 	 {5},
  number = 	 {1},
  pages = 	 {125--164},
  note = 	 {\url{http://angg.twu.net/math-b.html\#zhas-for-children-2}},
  shorthand =    {PH1},
}

@Article{IDARCT,
  author = 	 {E. Ochs},
  title =        {Internal Diagrams and Archetypal Reasoning in Category Theory},
  journal = 	 {Logica Universalis},
  year = 	 {2013},
  month =	 {9},
  volume =	 {7},
  number =	 {3},
  pages =	 {291--321},
  note = 	 {\url{http://angg.twu.net/math-b.html\#idarct}},
  shorthand =    {IDARCT},
}

@Unpublished{LessMS,
  author = 	 {E. Ochs},
  title = 	 {On two tricks to make Category Theory fit in less
                  mental space: missing diagrams and skeletons of
                  proofs},
  note = 	 {\url{http://angg.twu.net/LATEX/2019newton-slides.pdf}},
  year = 	 {2019},
  shorthand =    {LessMS},
}

% (find-math-b-links "missing-diagrams-elephant" "2019oxford-abs")
@Unpublished{MDE,
  author = 	 {E. Ochs},
  title = 	 {On Some Missing Diagrams in The Elephant},
  note = 	 {\url{http://angg.twu.net/math-b.html\#missing-diagrams-elephant}},
  year = 	 {2019},
  shorthand = 	 {MDE},
}



@Book{Riehl,
  author = 	 {E. Riehl},
  title = 	 {Category Theory in Context},
  publisher = 	 {Dover},
  year = 	 {2016},
  note =         {\url{http://www.math.jhu.edu/~eriehl/context.pdf}},
  shorthand =    {Riehl},
}

@Article{WadlerPaT,
  author = 	 {P. Wadler},
  title = 	 {Propositions as Types},
  journal = 	 {Communications of the ACM},
  year = 	 {2015},
  volume = 	 {58},
  number = 	 {12},
  pages = 	 {75--84},
  month = 	 {December},
  note =       {\url{http://homepages.inf.ed.ac.uk/wadler/topics/history.html\#propositions-as-types}},
  shorthand =    {WadlerPaT},
}