Steve Awodey - Category Theory Foundations

Steve Awodey is a professor at Carnegie Mellon University interested in category theory, logic, philosophy of mathematics, history of logic and analytic philosophy. For the "n-community", one should point out his recent work on homotopical ideas in type theory.

This series of lecture notes were offered at the University of Oregon, as part of Oregon Programming Languages Summer School (July 16-28, 2012). The subject is category theory, which is used to formalize mathematical structure and its concepts as a collection of objects and arrows (also called morphisms). A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. Category theory can be used to formalize concepts of other high-level abstractions such as set theory, ring theory, and group theory.

Look also other Math courses:

Algebra - A Complete Course

Brainetics Deluxe Math and Memory Set

Chalk Dust - Algebra - Introductory and Intermediate

Chalk Dust - College Algebra

Chalk Dust - Geometry

Chalk Dust - PreAlgebra

Chalk Dust - Basic College Mathematics

Educator - Mathematics: AP Statistics with: Professor Yates

Educator - Multivariable Calculus

fxphd - MTH101 - Mathematics for Visual Effetcs and Design

Elementary School Learning System - Grades 1 - 5 (2006)

MIT 0CW - Probabilistic Systems Analysis and Applied Probability

The Geometry Tutor

Understandable Statistics

Standard Deviants - Differential Equations