Categorical Logic Instructor Steve Awodey Office Baker 152 (mail Baker 135) Office Hour Thursday 12, or by appointment Secretary Baker 135 This course focuses on applications of category theory in logic and computer science. categorical logic. 80-520/820 Borceux, F. Handbook of categorical algebra (Encyclopedia of Mathematics and its Applications). http://www.andrew.cmu.edu/user/awodey/catlog
MATHEMATICAL STRUCTURES RESEARCH Research topics include mathematical models and theories in the empirical sciences, models and theories Category Society Philosophy Philosophy of Mathematics Handbook of categorical algebra 3Categories of Sheaves. Locales, Sheaves, GrothendieckToposes, The Classifying Topos,Elementary Toposes, Internal logic of a http://www.mmsysgrp.com/mathstrc.htm
MAA-Amazon Math Book List: Logic Modern algebra and the Rise of Mathematical A logical Approach (Oxford logic Guides,No 16 Uncountably categorical Theories (Translations of Mathematical http://www.maa.org/amazon/algebra/category_theory1.html
Handbook Of Categorical Algebra - Cambridge University Press This document provides an introduction to the interaction between category theory and mathematical logic which is slanted towards computer scientists. categorical and algebraic aspects of martinlof type theory (context) - Obtu - 1989. 1 with English summary (context) - Minc, the et al. - 1977. 1 the unity of algebra and logic http://books.cambridge.org/0521441803.htm
Categorical Geometry Homepage This site contains online books and research papers on the subjects of categorical algebra, categorical logic, categorical geometry, lattice theory, universal algebra, algebraic geometry. categorical Geometry. categorical algebra. 1 0. categorical logic. 0 1. categorical Geometry http://www.e99.com/cg
Springer NY Categorical Algebra And Its Applications categorical algebra and its applications contain several fundamental papers on general category theory, by the top specialists in the field, and many interesting papers on the applications of category theory in functional analysis, algebraic Go to the Mathematics home page. categorical algebra and its Applications ring theory, cohomology, differential geometry, group theory, mathematical logic and computer sciences. http://www.springer-ny.com/staticpages/0387503625.htm
Introduction Lambek continued his work in ring theory and categorical algebra (often in Therethen followed a fruitful collaboration on categorical logic with P. Scott http://www.math.mcgill.ca/triples/lambek97/lamintro.html
Logic In New York City foundations of logic programming. Semantics Universal algebra; category theory; categorical model theory; classical http://math.gc.cuny.edu/Logic
WebGuest - Open Directory : Science : Math : Algebra : Category Theory Homepage This site contains online books and research papers on the subjects ofcategorical algebra, categorical logic, categorical geometry, lattice theory http://directory.webguest.com/index.cgi/Science/Math/Algebra/Category_Theory/
Categorical Logic - Pitts (ResearchIndex) 1988 1 categorical logic (context) Crole, Types et al. - 1993 1 categoricaland algebraic 1977 1 the unity of algebra and logic (context) - Lambek http://citeseer.nj.nec.com/pitts01categorical.html
KLUWER Academic Publishers | Category Theory, Homological Algebra Universal algebra, algebraic logic, and Databases B Theory of Topological StructuresAn Approach to categorical Topology Gerhard Preuss December 1987 http://www.wkap.nl/home/topics/J/4/4/?sort=Z&results=0
Research FE J. Linton, Ph.D. Columbia categorical algebra, functorial semantics, topoi.James Lipton, Ph.D. Cornell logic and computation, logic programming, type http://www.math.wesleyan.edu/research.htm
Graduate Mathematics And Computer Science Program algebraic topology, analysis of algorithms, categorical algebra, combinatorics,complex analysis, computational logic, data mining, ergodic theory, geometric http://www.math.wesleyan.edu/graduate.htm
Pespmc1.vub.ac.be/CLEA/Seminars/Lambek.txt Grammar, algebra and logic ***** Prof. Em. resulting in a monographwith Phil Scott Introduction to Higher order categorical logic . http://pespmc1.vub.ac.be/CLEA/Seminars/Lambek.txt
Hidden Algebra algebraic exposition of first order logic, proof planning and a systematic expositionof universal algebra and its in August 1999.); A categorical Manifesto, in http://www.cs.ucsd.edu/users/goguen/projs/halg.html