Add three technical reports by Bénabou

README.md

@@ -8,6 +8,9 @@ For a `.bib` file of the papers in the archive, see: https://github.com/Category
 | 1966 | Triples versus theories | Fred Linton | [1966_linton_triples-theories.pdf](https://github.com/CategoryTheoryArchive/archive/blob/main/resources/1966_linton_triples-theories.pdf) |
 | c. 1968 | | Jon Beck | [1968_beck_.pdf](https://github.com/CategoryTheoryArchive/archive/blob/main/resources/1968_beck_.pdf) |
 | 1970 | V-localizations and V-triples | Harvey Wolff | [1970_wolff_v-localizations-v-triples.pdf](https://github.com/CategoryTheoryArchive/archive/blob/main/resources/1970_wolff_v-localizations-v-triples.pdf) |
+| 1972 | Les triples | Jean Bénabou | [1972_bénabou_triples.pdf](https://github.com/CategoryTheoryArchive/archive/blob/main/resources/1972_bénabou_triples.pdf) |
+| 1973 | Les distributeurs | Jean Bénabou | [1973_bénabou_distributeurs.pdf](https://github.com/CategoryTheoryArchive/archive/blob/main/resources/1973_bénabou_distributeurs.pdf) |
+| 1973 | Problemes dans les topos | Jean Bénabou | [1973_bénabou_problemes_topos.pdf](https://github.com/CategoryTheoryArchive/archive/blob/main/resources/1973_bénabou_problemes_topos.pdf) |
 | 1976 | Variétés d'une catégorie | Yves Diers | [1976_diers_variétés-catégorie.pdf](https://github.com/CategoryTheoryArchive/archive/blob/main/resources/1976_diers_variétés-catégorie.pdf) |
 | 1988 | On Local Adjointness of Distributive Bicategories | Renato Betti, John Power | [1988_betti--power_local-adjointness.pdf](https://github.com/CategoryTheoryArchive/archive/blob/main/resources/1988_betti--power_local-adjointness.pdf) |
 | 1988 | Eilenberg-Moore algebras revisited | Dieter Pumplün | [1988_pümplun_eilenberg-moore.pdf](https://github.com/CategoryTheoryArchive/archive/blob/main/resources/1988_pümplun_eilenberg-moore.pdf) |

archive.json

@@ -29,13 +29,21 @@
  {
  "id": "u.illinois-urbana-champaign",
  "name": "University of Illinois Urbana-Champaign"
+ },
+ {
+ "id": "uclouvain",
+ "name": "Université catholique de Louvain"
  }
  ],
  "authors": [
  {
  "id": "j.m.beck",
  "name": "Jon Beck"
  },
+ {
+ "id": "j.bénabou",
+ "name": "Jean Bénabou"
+ },
  {
  "id": "r.betti",
  "name": "Renato Betti"
@@ -69,6 +77,13 @@
  "journal": "n.a.m.s",
  "date": "1966-02-26"
  },
+ {
+ "id": "1967_davis_abstract-universal",
+ "title": "Abstract universal algebra",
+ "authors": ["r.c.davis.jr"],
+ "date": "1967",
+ "school": "tulane.u"
+ },
  {
  "id": "1968_beck_",
  "title": "",
@@ -82,6 +97,28 @@
  "date": "1970",
  "school": "u.illinois-urbana-champaign"
  },
+ {
+ "id": "1972_bénabou_triples",
+ "title": "Les triples",
+ "authors": ["j.bénabou"],
+ "date": "1972-07",
+ "type": "report",
+ "institution": "uclouvain"
+ },
+ {
+ "id": "1973_bénabou_distributeurs",
+ "title": "Les distributeurs",
+ "authors": ["j.bénabou"],
+ "date": "1973-01",
+ "institution": "uclouvain"
+ },
+ {
+ "id": "1973_bénabou_problemes_topos",
+ "title": "Problemes dans les topos",
+ "authors": ["j.bénabou"],
+ "date": "1973-03",
+ "institution": "uclouvain"
+ },
  {
  "id": "1976_diers_variétés-catégorie",
  "title": "Variétés d'une catégorie",

build/references.bib

@@ -18,6 +18,27 @@ @phdthesis{1970_wolff_v-localizations-v-triples
  school={University of Illinois Urbana-Champaign}
 }
 
+@techreport{1972_bénabou_triples,
+ title={Les triples},
+ author={Jean Bénabou},
+ date={1972-07},
+ institution={Université catholique de Louvain}
+}
+
+@techreport{1973_bénabou_distributeurs,
+ title={Les distributeurs},
+ author={Jean Bénabou},
+ date={1973-01},
+ institution={Université catholique de Louvain}
+}
+
+@techreport{1973_bénabou_problemes_topos,
+ title={Problemes dans les topos},
+ author={Jean Bénabou},
+ date={1973-03},
+ institution={Université catholique de Louvain}
+}
+
 @article{1976_diers_variétés-catégorie,
  title={Variétés d'une catégorie},
  author={Yves Diers},