251:
82:
180:
344:
479:
108:
is the basis for characterizing relations, replacing the element-wise descriptions that use logical formulations. For example, he described the
93:
85:
in
Amsterdam, speaking on the applications of binary relations to algebra and machine theory. For a time, Riguet attended the seminary of
507:
310:
442:
J. Riguet (1954) "Sur l’extension du calcul du relations binaries au calcul des matrices du algebra de Bool complete",
389:
257:
1975 : "Theorie des jeux et funciones de Grundy du point de vue de la theorie des categories" (TAC-Chantilly)
109:
70:. In 1948 he published "Relations binaires, fermetures, correspondances de Galois" which revived the calculus of
250:
1973: "Probabilites et theorie de la decision du point de vue de la theorie des categories" (Amiens colloquium)
512:
142:
463:
356:
113:
50:
Already at his lycée, Riguet was impressed by the power of logical reasoning in geometry. He studied
105:
202:
39:
216:
In 1954 Riguet described the extension of the calculus of binary relations to a calculus of
193:
In 1950 he submitted "Sur les ensembles reguliers de relations binaires", and an article on
502:
497:
8:
245:
329:
63:
385:
306:
210:
22:(1921 to October 20, 2013) was a French mathematician known for his contributions to
268:
213:
of an integer, Riguet extended order theory beyond relations restricted to one set.
377:
55:
459:
369:
300:
296:
264:
1989 : "Galois correspondences in category theory", Hesselberg-Combinatorics
233:
206:
71:
67:
31:
27:
23:
467:
455:
404:
217:
198:
124:
51:
117:
491:
381:
136:
86:
35:
333:
194:
123:
Some of Riguet’s contributions can be described using structure of the
59:
416:
J. Riguet (1950) "Quelques proprietes des relations difonctionelles",
201:
form. The following year he provided an algebraic characterization of
16:
French mathematician, developed calculus of relations (1921 to 2013)
302:
Relations and Graphs: Discrete
Mathematics for Computer Scientists
242:
Proceedings of
Symposium on Symbolic Languages and Data Processing
279:
Riguet participated in the Séminaire Itinérant des Catégories.
83:
273:
Cahiers de
Topologie et Géométrie Différentielle Catégoriques
259:
Cahiers de
Topologie et Géométrie Différentielle Catégoriques
252:
Cahiers de
Topologie et Géométrie Différentielle Catégoriques
229:
478:
Séminaire Itinérant des Catégories (16 November 2013)
305:. Springer Science & Business Media. p. 277.
460:
Review of Riguet's extension of calculus of relations
145:
240:
1962: "Programmation et theorie des categories", in
236:. He published the following papers on that topic:
174:
489:
295:
368:
79:Fondements de la Theorie de Relations Binaires
345:Bulletin de la Société Mathématique de France
269:Enveloppe Karoubienne et categorie de Kleisli
228:In 1958 Riguet went to Zurich, working with
186:, and if it happens to be symmetric it is a
94:Centre national de la recherche scientifique
376:. Cambridge University Press. p. 95.
197:relations, those with logical matrix in a
81:in October 1951. In 1954 Riguet gave a
62:. Riguet studied higher mathematics with
135:are logical vectors, then their logical
299:; Ströhlein, Thomas (6 December 2012).
182:Riguet calls the associated relation a
139:produces the associated logical matrix
490:
205:with a logical matrix comparable to a
58:, who made contributions to logic and
38:and Jacques Riguet founded the modern
324:
322:
209:. Since Ferrers diagrams order the
13:
508:20th-century French mathematicians
275:33(3) : 261–6, via Numdam.org
223:
14:
524:
319:
175:{\displaystyle u_{i}\land v_{j}.}
480:Hommage du SIC a Jacques Riguet
472:
449:
127:associated with a relation. If
436:
423:
410:
398:
362:
350:
338:
328:Stephane Dugowson and others
289:
1:
282:
429:"Les relations de Ferrers",
99:
7:
112:. His work was reviewed in
10:
529:
267:1992: (with Rene Guitart)
464:Journal of Symbolic Logic
357:Journal of Symbolic Logic
244:, Rome (1961), pp 88–98,
114:Journal of Symbolic Logic
45:
382:10.1017/CBO9780511778810
330:Hommage a Jacques Riguet
106:composition of relations
77:He published his thesis
203:heterogeneous relations
92:Riguet was employed at
34:and Thomas Ströhlein, "
374:Relational Mathematics
176:
66:and was introduced to
177:
104:In Riguet's work the
40:calculus of relations
184:rectangular relation
143:
246:Gordon & Breach
513:Category theorists
172:
466:21(4): 397,8 via
312:978-3-642-77968-8
520:
482:
476:
470:
453:
447:
440:
434:
427:
421:
414:
408:
402:
396:
395:
366:
360:
354:
348:
342:
336:
326:
317:
316:
297:Schmidt, Gunther
293:
261:16(4) : 441
218:Boolean matrices
181:
179:
178:
173:
168:
167:
155:
154:
72:binary relations
528:
527:
523:
522:
521:
519:
518:
517:
488:
487:
486:
485:
477:
473:
454:
450:
441:
437:
428:
424:
415:
411:
403:
399:
392:
370:Gunther Schmidt
367:
363:
355:
351:
343:
339:
327:
320:
313:
294:
290:
285:
234:category theory
226:
224:Category theory
207:Ferrers diagram
188:square relation
163:
159:
150:
146:
144:
141:
140:
102:
64:Albert Châtelet
48:
32:Gunther Schmidt
30:. According to
28:category theory
24:algebraic logic
17:
12:
11:
5:
526:
516:
515:
510:
505:
500:
484:
483:
471:
468:Project Euclid
456:Roland Fraisse
448:
444:Comptes Rendus
435:
431:Comptes Rendus
422:
420:230: 1999–2000
418:Comptes Rendus
409:
405:Comptes Rendus
397:
390:
361:
349:
337:
318:
311:
287:
286:
284:
281:
277:
276:
265:
262:
255:
248:
225:
222:
199:block diagonal
171:
166:
162:
158:
153:
149:
125:logical matrix
110:Schröder rules
101:
98:
52:Louis Couturat
47:
44:
20:Jacques Riguet
15:
9:
6:
4:
3:
2:
525:
514:
511:
509:
506:
504:
501:
499:
496:
495:
493:
481:
475:
469:
465:
461:
457:
452:
445:
439:
432:
426:
419:
413:
406:
401:
393:
391:9780511778810
387:
383:
379:
375:
371:
365:
358:
353:
346:
341:
335:
331:
325:
323:
314:
308:
304:
303:
298:
292:
288:
280:
274:
270:
266:
263:
260:
256:
253:
249:
247:
243:
239:
238:
237:
235:
231:
221:
219:
214:
212:
208:
204:
200:
196:
191:
189:
185:
169:
164:
160:
156:
151:
147:
138:
137:outer product
134:
130:
126:
121:
119:
115:
111:
107:
97:
95:
90:
88:
87:Jacques Lacan
84:
80:
75:
73:
69:
65:
61:
57:
53:
43:
41:
37:
36:Alfred Tarski
33:
29:
25:
21:
474:
451:
443:
438:
433:232: 1729,30
430:
425:
417:
412:
400:
373:
364:
352:
340:
334:Google Sites
301:
291:
278:
272:
258:
241:
227:
215:
195:difunctional
192:
187:
183:
132:
128:
122:
103:
96:until 1957.
91:
78:
76:
49:
19:
18:
503:2013 deaths
498:1921 births
446:238: 2382–5
232:, studying
118:Øystein Ore
492:Categories
407:231: 936,7
347:76: 114–55
283:References
211:partitions
60:set theory
359:16(1): 61
157:∧
100:Relations
372:(2013).
68:lattices
56:Bourbaki
458:(1956)
388:
309:
46:Career
254:14(2)
386:ISBN
307:ISBN
131:and
54:and
26:and
378:doi
332:at
230:IBM
116:by
42:".
494::
462:,
384:.
321:^
271:,
220:.
190:.
120:.
89:.
74:.
394:.
380::
315:.
170:.
165:j
161:v
152:i
148:u
133:v
129:u
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.