This monograph lays the foundations for the theory of canonical inner models of set theory. It constructs an L-like inner model containing a Woodin cardinal and satisfying the generalized continuum hypothesis. The text should be a useful tool for further research work with large cardinals.