Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.
% This file:
%   http://angg.twu.net/LATEX/2020on-a-broken-dnc.bib.html
%   http://angg.twu.net/LATEX/2020on-a-broken-dnc.bib
%           (find-angg "LATEX/2020on-a-broken-dnc.bib")
% Used by:  (find-angg "LATEX/2020on-a-broken-dnc.tex")

% (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},
  shorthand =    {Freyd76},
  note =         {\url{http://angg.twu.net/scans/freyd76__properties_invariant_within_equivalence_types_of_categories.pdf}}
}

% (find-LATEX "catsem-u.bib" "bib-FreydScedrov")
%
@Book{FreydScedrov,
  author = 	 {P. Freyd and A. Scedrov},
  title = 	 {Categories, Allegories},
  publisher = 	 {North-Holland},
  year = 	 {1990},
}

% (find-LATEX "catsem-u.bib" "bib-MacLane")
%
@Book{CWM,
  author = 	 {S. MacLane},
  title = 	 {Categories for the Working Mathematician},
  publisher = 	 {Springer},
  year = 	 {1971},
  shorthand =    {CWM},
}

% (find-LATEX "catsem-u.bib" "bib-Ochs")
%
@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{LFC2018,
  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},
  shorthand =    {LfC2018},
}
@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},
}
@Unpublished{SMDE,
  author = 	 {E. Ochs},
  title = 	 {On some missing diagrams in the Elephant},
  note = 	 {\url{http://angg.twu.net/LATEX/2019oxford-abs.pdf}},
  year = 	 {2019},
}