Colin McLarty

Colin 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.
Research.
Category theory.
He has written papers about Saunders Mac Lane, one of the founders of category theory. 
McLarty's "Elementary Categories and Elementary Toposes" describes category theory and topos theory at an elementary level.
McLarty worked on establishing that Fermat's Last Theorem can be proven in a setting with much weaker assumptions than the ones used in Wiles' proof, which makes use of involved category theoretical constructions.
History of Mathematics.
He is a member of the Grothendieck Circle, which provides on-line and open access to many writings about the mathematician Alexandre Grothendieck, who revolutionized Banach-space theory and algebraic geometry and whose life has fascinated many biographers and mathematical scientists.
McLarty has also written about the German algebraist Emmy Noether and her involvement with German political history.
Positions.
At Case Western Reserve University (CWRU), Colin McLarty is the Truman P. Handy Professor of Philosophy and the current Chair of the Philosophy Department. 
At CWRU, he is also a professor of mathematics.
External links.
 