Cartesian cubical model categories / Steve Awodey. Cham, Switzerland : Springer, [2026], © 2026