Guitart, R. (1982). Qu’est-ce que la logique dans une catégorie ? Cahiers De Topologie Et Géométrie Différentielle Catégoriques, 23(2), 115–148. http://eudml.org/doc/91293 
@article{Guitart1982,
  title = {Qu'est-ce que la logique dans une catégorie ?},
  author = {Guitart, René},
  year = {1982},
  journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
  publisher = {Dunod éditeur, publié avec le concours du CNRS},
  volume = {23},
  number = {2},
  pages = {115--148},
  url = {http://eudml.org/doc/91293},
  keywords = {universal algebras; universal topologies; topoi; fibrations; exact squares; categorical logics},
  language = {fre}
}