André Joyal

André Joyal is a Canadian mathematician known for his contributions to category theory, topos theory, and combinatorial set theory. He has worked extensively on the foundational aspects of mathematics, particularly in relation to the interactions between category theory and logic. Joyal is perhaps best known for developing the concept of "quasi-categories," which are a generic notion that generalizes many structures in category theory, particularly in the context of homotopy theory.