Research Areas. Homotopy Type Theory and Univalent Foundations. More information on this research program can be found on the site HomotopyTypeTheory. Algebraic Set Theory. A website containing some information about AST and links to some papers. The HoTT Book.
|Published (Last):||15 February 2011|
|PDF File Size:||19.36 Mb|
|ePub File Size:||15.2 Mb|
|Price:||Free* [*Free Regsitration Required]|
Research Areas. Homotopy Type Theory and Univalent Foundations. More information on this research program can be found on the site HomotopyTypeTheory. Algebraic Set Theory. A website containing some information about AST and links to some papers. The HoTT Book. Click here for more information.
Second edition , now in paperback! Click here for a list of errata. Slides and Resources. Slides from the Skolem Lecture held in Oslo, April Notes from a series of lectures to the Stockholm Logic Group, June Slides from a talk at an AMS meeting, January Slides from a talk at CMU, March Notes from a talk at IAS, December Selected Preprints.
Awodey, June Awodey, January Awodey, October Awodey, December Awodey, K. Kishida, H. Kotzsch, Awodey, Awodey, A. Pelayo, and M. Warren, Awodey and H. Forssell, Awodey, P. Hofstra, M. Awodey, H. Forssell, M. Warren, June Awodey, C. Butz, A. Simpson, T. Streicher, June Research announcement. Bulletin of Symbolic Logic.
Selected Publications. Awodey, J. Frey, S. Speight, LICS , Awodey, Annals of Pure and Applied Logic , Awodey, N. Gambino, K. Sojakova, Journal of the Association for Computing Machinery , Gambino, P. Lumsdaine, M. Warren, Journal of Symbolic Logic , Awodey, M. Awodey, The Bulletin of Symbolic Logic , Kishida, The Review of Symbolic Logic , Carus, Synthese , Awodey and A.
Bauer, Archive for Mathemtical Logic , Awodey and M. Awodey and J. Bauer, Journal of Logic and Computation 14 4 , pp. Hellman's question "Does category theory provide a framework for mathematical structuralism? Philosophia Mathematica 3 , vol. Hughes, Mathematical Structures in Computer Science , vol. Awodey and E. Reck, History and Philosophy of Logic , 23 , pp.
Awodey and L. Birkedal, Journal of Pure and Applied Algebra , , pp. Awodey, L. Birkedal, D. Scott, Mathematical Structures in Computer Science , vol. Awodey and C. Butz, Journal of Symbolic Logic 65 3 , pp. Mathematical Structures in Computer Science , vol. Journal of Pure and Applied Algebra , pp. Carus, Erkenntnis 54 , pp.
Unpublished MS Dissertation, The University of Chicago Editorial Activities. Course Materials.
Category Theory. Steve Awodey. This text provides a comprehensive reference to category theory, containing exercises, for researchers and graduates in philosophy, mathematics, computer science, logic and cognitive science. The basic definitions, theorems, and proofs are made accessible by assuming few mathematical pre-requisites but without compromising mathematical rigour. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make thebasic ideas, theorems, and methods of Category Theory understandable to this broad readership.