The Khovanov homology of knots

The Khovanov homology is a knot invariant which first appeared in Khovanov's original paper of 1999, titled ``a categorification of the Jones polynomial.'' This thesis aims to give an exposition of the Khovanov homology, including a complete background to the techniques used. We start with basic knot theory, including a definition of the Jones polynomial via the Kauffman bracket. Next, we cover some definitions and constructions in homological algebra which we use in the description of our title. Next we define the Khovanov homology in an analogous way to the Kauffman bracket, using only the algebraic techniques of the previous chapter, followed closely by a proof that the Khovanov homology is a knot invariant. After this, we prove an isomorphism of categories between TQFTs and Frobenius objects, which finally, in the last chapter, we put in the context of the Khovanov homology. After this application, we discuss some topological techniques in the context of the Khovanov homology.