Jacques Riguet (1921 to October 20, 2013) was a French mathematician known for his contributions to algebraic logic and category theory. According to Gunther Schmidt and Thomas Ströhlein, "Alfred Tarski and Jacques Riguet founded the modern calculus of relations".[1]
Already at his lycée, Riguet was impressed by the power of logical reasoning in geometry. He studied Louis Couturat and Bourbaki, who made contributions to logic and set theory.[2] Riguet studied higher mathematics with Albert Châtelet and was introduced to lattices. In 1948 he published "Relations binaires, fermetures, correspondances de Galois"[3] which revived the calculus of binary relations.
He published his thesis Fondements de la Theorie de Relations Binaires in October 1951. In 1954 Riguet gave a plenary address at the International Congress of Mathematicians in Amsterdam, speaking on the applications of binary relations to algebra and machine theory. For a time, Riguet attended the seminary of Jacques Lacan.
Riguet was employed at Centre national de la recherche scientifique until 1957.[2]
In Riguet's work the composition of relations is the basis for characterizing relations, replacing the element-wise descriptions that use logical formulations. For example, he described the Schröder rules. His work was reviewed in Journal of Symbolic Logic by Øystein Ore.[4]
Some of Riguet’s contributions can be described using structure of the logical matrix associated with a relation. If u and v are logical vectors, then their logical outer product produces the associated logical matrix
ui\landvj.
In 1950 he submitted "Sur les ensembles reguliers de relations binaires",[6] and an article on difunctional relations, those with logical matrix in a block diagonal form.[7] The following year he provided an algebraic characterization of heterogeneous relations with a logical matrix comparable to a Ferrers diagram.[8] Since Ferrers diagrams order the partitions of an integer, Riguet extended order theory beyond relations restricted to one set.
In 1954 Riguet described the extension of the calculus of binary relations to a calculus of Boolean matrices.[9] [10]
In 1958 Riguet went to Zurich, working with IBM, studying category theory. He published the following papers on that topic:
Riguet participated in the Séminaire Itinérant des Catégories.[11]