WJohn Carlos Baez is an American mathematical physicist and a professor of mathematics at the University of California, Riverside (UCR) in Riverside, California. He has worked on spin foams in loop quantum gravity, applications of higher categories to physics, and applied category theory.
WKenneth Stephen Brown is a professor of mathematics at Cornell University, working in category theory and cohomology theory. Among other things, he is known for Ken Brown's lemma in the theory of model categories. He is also the author of the book Cohomology of Groups.
WEugenia Loh-Gene Cheng is a British mathematician and concert pianist. Her mathematical interests include higher-dimensional category theory, and as a pianist she specialises in lieder and art song. She is also passionate about explaining mathematics to non-mathematicians to rid the world of math phobia, often using entertaining analogies with food and baking. Cheng is a scientist-in-residence at the School of the Art Institute of Chicago.
WAndrée Ehresmann is a French mathematician specialising in category theory. A researcher at CNRS from 1957 to 1963, she was awarded a Ph.D. in 1962 under Gustave Choquet. She is an Emeritus Professor at IRCAM, at the University of Picardie Jules Verne, having worked there from 1967.
WCharles Ehresmann was a German-born French mathematician who worked in differential topology and category theory. He was an early member of the Bourbaki group, and is known for his work on the differential geometry of smooth fiber bundles, notably the Ehresmann connection, the concept of jet bundles, and his seminar on category theory.
WSamuel Eilenberg was a Polish-American mathematician who co-founded category theory and Homological Algebra.
WJacques Feldbau was a French mathematician, born on 22 October 1914 in Strasbourg, of an Alsatian Jewish traditionalist family. He died on 22 April 1945 at the Ganacker Camp, annex of the concentration camp of Flossenbürg in Germany. As a mathematician he worked on differential geometry and topology. He was the first student of Charles Ehresmann.
WPeter John Freyd is an American mathematician, a professor at the University of Pennsylvania, known for work in category theory and for founding the False Memory Syndrome Foundation.
W(John) Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge. His interests include mathematical logic, category theory, and theoretical computer science.
WPeter Tennant Johnstone is Professor of the Foundations of Mathematics at the University of Cambridge, and a fellow of St. John's College. He invented or developed a broad range of fundamental ideas in topos theory. His thesis, completed at the University of Cambridge in 1974, was entitled "Some Aspects of Internal Category Theory in an Elementary Topos".
WAndré Joyal is a professor of mathematics at the Université du Québec à Montréal who works on category theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2013, where he was invited to join the Special Year on Univalent Foundations of Mathematics.
WJoachim "Jim" Lambek was Peter Redpath Emeritus Professor of Pure Mathematics at McGill University, where he earned his Ph.D. degree in 1950 with Hans Zassenhaus as advisor.
WFrancis William Lawvere is a mathematician known for his work in category theory, topos theory and the philosophy of mathematics.
WJacob Alexander Lurie is an American mathematician who is a professor at the Institute for Advanced Study. Lurie is a 2014 MacArthur Fellow.
WSaunders Mac Lane was an American mathematician who co-founded category theory with Samuel Eilenberg.
WColin McLarty is an American logician whose publications have ranged widely in philosophy and the foundations of mathematics, as well as in the history of science and of mathematics.
WDavid Isaac Spivak is an American mathematician. He has held research positions at the University of Oregon and the Massachusetts Institute of Technology. He is known for his pioneering work on applications of category theory to science and engineering, in particular to agent interactions involving communication, learning and planning. He is the author of two popular introductory texts on category theory and its applications, Category Theory for the Sciences and An Invitation to Applied Category Theory.