We will start by describing the general philosophy of categorification in mathematics. This will be aided by several elementary examples coming from geometry and algebraic topology. We will also define bordism categories, topological quantum field theories, the Jones polynomial, and as time permits, build the Khovanov homology package.