% This file: (find-LATEX "2020tallinn-abstract.bib")
% Used by:   (find-LATEX "2020tallinn-abstract.tex")
% Based on:  (find-LATEX "2020bibtex-test.bib")
%            (find-LATEX "catsem-u.bib")

% «bib-FongSpivak»  (to ".bib-FongSpivak")
% (find-books "__cats/__cats.el" "fong-spivak")
@Book{FongSpivak,
  author = 	 {B. Fong and D. I. Spivak},
  title = 	 {Seven Sketches in Compositionality: An Invitation to
                  Applied Category Theory},
  publisher = 	 {Cambridge},
  year = 	 {2019},
  note = 	 {\url{http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf}},
}

% «bib-Kromer»  (to ".bib-Kromer")
% (find-books "__cats/__cats.el" "kromer")
@Book{Kromer,
  author =	 {R. Krömer},
  title = 	 {Tool and Object: A History and Philosophy of Category Theory},
  publisher = 	 {Birkhäuser},
  year = 	 {2007},
}

% «bib-LambekScott»  (to ".bib-LambekScott")
% (find-books "__cats/__cats.el" "lambek-scott")
%
@Book{LambekScott,
  author = 	 {J. Lambek and P. Scott},
  title = 	 {Introduction to Higher-Order Categorical Logic},
  publisher = 	 {Cambridge},
  year = 	 {1986},
}

% «bib-LawvereSchanuel»  (to ".bib-LawvereSchanuel")
% (find-books "__cats/__cats.el" "lawvere-schanuel")
%
@Book{LawvereSchanuel,
  author = 	 {W. Lawvere and S. Schanuel},
  title = 	 {Conceptual Mathematics: A first introduction to categories},
  publisher = 	 {Cambridge},
  year = 	 {1997},
}


@Unpublished{OchsLucatelli,
  author = 	 {E. Ochs and F. Lucatelli},
  title = 	 {Logic for Children - Workshop at UniLog 2018 (Vichy) -
                  unofficial homepage},
  note =         {\url{http://angg.twu.net/logic-for-children-2018.html}},
  year = 	 {2018},
}

@Unpublished{OchsPH1,
  author = 	 {E. Ochs},
  title = 	 {Planar Heyting Algebras for Children},
  note = 	 {\url{http://angg.twu.net/math-b.html#zhas-for-children-2}},
  shorthand =    {PH1},
  year = 	 {2020},
}

@Article{OchsIDARCT,
  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}},
}

@Unpublished{OchsNotesOnYoneda,
  author = 	 {E. Ochs},
  title = 	 {A diagram for the Yoneda Lemma (In which each node
                  and arrow can be interpreted precisely as a
                  ``term'', and most of the interpretations are
                  ``obvious''; plus dictionaries!!!)},
  note = 	 {\url{http://angg.twu.net/math-b.html#notes-yoneda}},
  year = 	 {2019},
}

@Unpublished{OchsACT2019,
  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},
}


% «bib-Riehl»  (to ".bib-Riehl")
% (find-books "__cats/__cats.el" "riehl")
@Book{Riehl,
  author = 	 {E. Riehl},
  title = 	 {Category Theory in Context},
  publisher = 	 {Dover},
  year = 	 {2016},
}


% Local variables:
% coding: utf-8-unix
% modes: (bibtex-mode fundamental-mode)
% end: