André Joyal
From Wikipedia, the free encyclopedia
André Joyal is a professor of mathematics at the Université du Québec à Montréal who works on category theory. He invented Kripke-Joyal semantics and the theory of combinatorial species. He co-authored the book "Algebraic Set Theory" with Ieke Moerdijk. He was born in Drummondville (formerly Saint-Majorique). He has three children and lives in Montreal.
[edit] External links
 |
This article about a mathematician is a stub. You can help Wikipedia by expanding it. |
