The Hecke category is emerging as a fundamental object in representation theory. We give a motivated introduction to this category in both its geometric (via parity sheaves) and diagrammatic (generators and relations) incarnations. We also discuss the p-canonical basis and Koszul duality for the Hecke category.