Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |

% 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}, }