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.