The language of 8-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 8-category theory by studying the universe, or 8-cosmos, in which 8-categories live.