Background
McLarty, Colin Slator was born on July 12, 1951 in Lancaster, Pennsylvania, United States. Son of Colin Slator McLarty and Sarah Baldwin Suplee.
(The book covers elementary aspects of category theory and...)
The book covers elementary aspects of category theory and topos theory for graduate students in mathematics, computer science, and logic; it has few mathematical prerequisites, and uses categorical methods throughout, rather than beginning with set theoretical foundations. Working with key concepts such as Cartesian closedness, adjunctions, regular categories, and the internal logic of a topos, the book features full statements and elementary proofs for the central theorems, including the fundamental theorem of toposes, the sheafification theorem, and the construction of Grothendieck toposes over any topos as base. Other chapters discuss applications of toposes in detail, namely to sets, to basic differential geometry, and to recursive analysis.
http://www.amazon.com/gp/product/0198514735/?tag=2022091-20
McLarty, Colin Slator was born on July 12, 1951 in Lancaster, Pennsylvania, United States. Son of Colin Slator McLarty and Sarah Baldwin Suplee.
Bachelor of Science in Mathematics, Case Institute of Technology, 1972. Doctor of Philosophy in Philosophy, Case Western Reserve University, 1980.
Machinist Bardons & Oliver Machine Tools, Cleveland, 1980-1984. Associate professor philosophy Case Western Reserve University, since 1986, chair department philosophy, since 1998. Visiting associate professor philosophy University Notre Dame, Indiana, 2002.
(The book covers elementary aspects of category theory and...)
Married Patricia Princehouse.