Category theory is a branch of abstract algebra with incredibly diverse applications. This text a...

This book introduces the category of Cartesian cubical sets and endows it with a Quillen model st...