31:
783:
544:
197:
643:
Robert
Goldblatt, A Kripke-Joyal semantics for noncommutative logic in quantales; Advances in Modal Logic 6, 209—225, Coll. Publ., London, 2006;
778:
773:
665:
240:
126:
101:
717:
271:
Joyal, A. (2002). "Quasi-categories and Kan complexes, (in
Special volume celebrating the 70th birthday of Prof. Max Kelly)".
587:
453:
419:
576:, Algebraic set theory. London Mathematical Society Lecture Note Series 220. Cambridge Univ. Press 1995. viii+123 pp.
519:
349:
273:
734:
788:
581:
321:
743:
592:
André Joyal, Disks, duality and theta-categories, preprint (1997) (contains an original definition of a weak
693:
A. Joyal, A letter to
Grothendieck, April 1983 (contains a Quillen model structure on simplicial presheaves)
134:
768:
150:
204:
and recently started a web-based expositional project Joyal's CatLab on categorical mathematics.
491:
465:
758:
174:
166:
154:
70:
763:
647:
394:
331:
263:
8:
586:
André Joyal, Myles
Tierney, Notes on simplicial homotopy theory, CRM Barcelona, Jan 2008
375:
597:
561:
335:
299:
362:
286:
577:
533:
514:
478:
449:
415:
339:
317:
565:
674:
553:
528:
500:
474:
441:
407:
358:
309:
282:
249:
182:
542:
Joyal, André; Street, Ross; Verity, Dominic (1996). "Traced monoidal categories".
644:
430:
390:
327:
259:
170:
130:
121:
91:
87:
313:
193:
189:
186:
178:
66:
557:
752:
739:
702:
621:
573:
402:
Joyal, André; Tierney, Myles (1991). "Strong stacks and classifying spaces".
231:
213:
201:
162:
158:
54:
722:
185:
and Rainer Vogt, in particular conjecturing and proving the existence of a
505:
486:
463:
Joyal, André; Street, Ross (1991). "The geometry of tensor calculus, I".
371:
294:
Joyal, André; Tierney, Myles (2007). "Quasi-categories vs Segal spaces".
679:
660:
632:
601:
347:
Joyal, André; Tierney, Myles (2000). "On the theory of path groupoids".
254:
235:
169:
in the setup of locales. Most of his research is in some way related to
445:
411:
196:
whose weak equivalences generalize both equivalence of categories and
304:
217:
440:. Lecture Notes in Mathematics. Vol. 1488. pp. 413–492.
406:. Lecture Notes in Mathematics. Vol. 1488. pp. 213–236.
633:
IAS school of mathematics: Univalent
Foundations of Mathematics
200:
of spaces. He co-authored the book "Algebraic Set Theory" with
545:
Mathematical
Proceedings of the Cambridge Philosophical Society
216:(formerly Saint-Majorique). He has three children and lives in
30:
383:
Cahiers de
Topologie et Géométrie Différentielle Catégoriques
298:. Contemporary Mathematics. Vol. 431. pp. 277–326.
726:
296:
Categories in
Algebra, Geometry and Mathematical Physics
431:"An introduction to Tannaka duality and quantum groups"
133:. He was a member of the School of Mathematics at the
784:
Academic staff of the
Université du Québec à Montréal
622:
Institute for
Advanced Study: A Community of Scholars
515:"Tortile Yang-Baxter operators in tensor categories"
139:
Special Year on Univalent Foundations of Mathematics
661:"An extension of the Galois theory of Grothendieck"
236:"An extension of the Galois theory of Grothendieck"
125:; born 1943) is a professor of mathematics at the
541:
750:
596:-category: for a short account see Leinster's
666:Memoirs of the American Mathematical Society
658:
401:
346:
293:
241:Memoirs of the American Mathematical Society
229:
177:and their applications. He did some work on
512:
484:
462:
428:
369:
137:in 2013, where he was invited to join the
29:
678:
532:
504:
376:"Pullbacks equivalent to pseudopullbacks"
303:
253:
751:
718:Interview with André Joyal (in French)
659:Joyal, André; Tierney, Myles (1984).
270:
120:
779:21st-century Canadian mathematicians
774:20th-century Canadian mathematicians
520:Journal of Pure and Applied Algebra
513:Joyal, André; Street, Ross (1991).
429:Joyal, André; Street, Ross (1991).
350:Journal of Pure and Applied Algebra
274:Journal of Pure and Applied Algebra
13:
14:
800:
711:
207:
223:
127:Université du Québec à Montréal
102:Université du Québec à Montréal
696:
687:
652:
637:
626:
615:
485:Joyal, A.; Street, R. (1993).
1:
744:Mathematics Genealogy Project
608:
363:10.1016/S0022-4049(98)00164-9
287:10.1016/S0022-4049(02)00135-4
534:10.1016/0022-4049(91)90039-5
479:10.1016/0001-8708(91)90003-P
135:Institute for Advanced Study
7:
487:"Braided Tensor Categories"
181:, after their invention by
144:
10:
805:
789:People from Drummondville
735:Official Web page at UQAM
558:10.1017/S0305004100074338
107:
97:
83:
76:
62:
37:
28:
21:
161:a generalization of the
492:Advances in Mathematics
466:Advances in Mathematics
506:10.1006/aima.1993.1055
314:10.1090/conm/431/08278
175:higher category theory
167:Alexander Grothendieck
151:Kripke–Joyal semantics
16:Canadian mathematician
155:combinatorial species
71:Combinatorial species
192:on the category of
769:Category theorists
446:10.1007/BFb0084235
412:10.1007/BFb0084222
212:Joyal was born in
680:10.1090/MEMO/0309
455:978-3-540-54706-8
421:978-3-540-54706-8
255:10.1090/memo/0309
111:
110:
78:Scientific career
48:February 25, 1943
796:
705:
700:
694:
691:
685:
684:
682:
656:
650:
641:
635:
630:
624:
619:
569:
538:
536:
510:
508:
482:
459:
435:
425:
398:
380:
366:
343:
307:
290:
281:(1–3): 207–222.
267:
257:
183:Michael Boardman
179:quasi-categories
153:, the theory of
124:
122:[ʒwajal]
119:
67:Quasi-categories
57:, Quebec, Canada
51:
47:
45:
33:
19:
18:
804:
803:
799:
798:
797:
795:
794:
793:
749:
748:
714:
709:
708:
701:
697:
692:
688:
657:
653:
642:
638:
631:
627:
620:
616:
611:
602:math.CT/0305049
456:
438:Category Theory
433:
422:
404:Category Theory
378:
324:
226:
210:
198:Kan equivalence
194:simplicial sets
190:model structure
171:category theory
147:
131:category theory
117:
92:Homotopy theory
90:
88:Category theory
69:
58:
52:
49:
43:
41:
24:
17:
12:
11:
5:
802:
792:
791:
786:
781:
776:
771:
766:
761:
747:
746:
737:
732:
720:
713:
712:External links
710:
707:
706:
703:Joyal's CatLab
695:
686:
651:
636:
625:
613:
612:
610:
607:
606:
605:
590:
584:
570:
552:(3): 447–468.
539:
460:
454:
426:
420:
399:
389:(2): 153–156.
370:Joyal, André;
367:
344:
322:
291:
268:
232:Tierney, Myles
230:Joyal, André;
225:
222:
209:
206:
149:He discovered
146:
143:
109:
108:
105:
104:
99:
95:
94:
85:
81:
80:
74:
73:
64:
63:Known for
60:
59:
53:
39:
35:
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
801:
790:
787:
785:
782:
780:
777:
775:
772:
770:
767:
765:
762:
760:
759:Living people
757:
756:
754:
745:
741:
738:
736:
733:
731:
729:
724:
721:
719:
716:
715:
704:
699:
690:
681:
676:
672:
668:
667:
662:
655:
649:
646:
640:
634:
629:
623:
618:
614:
603:
599:
595:
591:
589:
585:
583:
582:0-521-55830-1
579:
575:
574:Ieke Moerdijk
572:André Joyal,
571:
567:
563:
559:
555:
551:
547:
546:
540:
535:
530:
526:
522:
521:
516:
507:
502:
498:
494:
493:
488:
480:
476:
472:
468:
467:
461:
457:
451:
447:
443:
439:
432:
427:
423:
417:
413:
409:
405:
400:
396:
392:
388:
384:
377:
373:
368:
364:
360:
356:
352:
351:
345:
341:
337:
333:
329:
325:
323:9780821839706
319:
315:
311:
306:
301:
297:
292:
288:
284:
280:
276:
275:
269:
265:
261:
256:
251:
247:
243:
242:
237:
233:
228:
227:
221:
219:
215:
214:Drummondville
208:Personal life
205:
203:
202:Ieke Moerdijk
199:
195:
191:
188:
184:
180:
176:
172:
168:
164:
163:Galois theory
160:
159:Myles Tierney
156:
152:
142:
140:
136:
132:
129:who works on
128:
123:
115:
106:
103:
100:
96:
93:
89:
86:
82:
79:
75:
72:
68:
65:
61:
56:
55:Drummondville
50:(age 81)
40:
36:
32:
27:
20:
727:
698:
689:
670:
664:
654:
639:
628:
617:
593:
549:
543:
524:
518:
496:
490:
470:
464:
437:
403:
386:
382:
372:Street, Ross
354:
348:
305:math/0607820
295:
278:
272:
245:
239:
224:Bibliography
211:
148:
138:
113:
112:
98:Institutions
77:
764:1943 births
740:André Joyal
723:André Joyal
114:André Joyal
23:André Joyal
753:Categories
609:References
473:: 55–112.
357:: 69–100.
44:1943-02-25
527:: 43–51.
499:: 20–78.
340:119749421
157:and with
604:, 10.2).
566:50511333
374:(1993).
234:(1984).
218:Montreal
145:Research
742:at the
725:at the
673:(309).
648:2396933
395:1223657
332:2342834
264:0756176
248:(309).
187:Quillen
118:French:
580:
564:
452:
418:
393:
338:
330:
320:
262:
84:Fields
598:arXiv
562:S2CID
434:(PDF)
379:(PDF)
336:S2CID
300:arXiv
578:ISBN
450:ISBN
416:ISBN
318:ISBN
38:Born
730:Lab
675:doi
588:pdf
554:doi
550:119
529:doi
501:doi
497:102
475:doi
442:doi
408:doi
359:doi
355:149
310:doi
283:doi
279:175
250:doi
165:of
755::
671:51
669:.
663:.
645:MR
560:.
548:.
525:71
523:.
517:.
511:;
495:.
489:.
483:;
471:88
469:.
448:.
436:.
414:.
391:MR
387:34
385:.
381:.
353:.
334:.
328:MR
326:.
316:.
308:.
277:.
260:MR
258:.
246:51
244:.
238:.
220:.
173:,
141:.
46:)
728:n
683:.
677::
600::
594:n
568:.
556::
537:.
531::
509:.
503::
481:.
477::
458:.
444::
424:.
410::
397:.
365:.
361::
342:.
312::
302::
289:.
285::
266:.
252::
116:(
42:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.