Mathematician:Steven M. Awodey
(Redirected from Mathematician:Steve Awodey)
Jump to navigation
Jump to search
Mathematician
American mathematician and philosopher of mathematics.
Active researcher in the areas of category theory and logic.
Has also written on the philosophy of mathematics.
One of the originators of the field of homotopy type theory.
Nationality
American
History
- Born: 1959
Publications
- 2010: Category Theory, 2nd ed.