The language of -categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. This book develops a new, more accessible model-independent approach to the foundations of -category theory by studying the universe, or -cosmos, in which -categories live.