Coherence in three-dimensional category theory - Gurski, Nick, 1980- (Cambridge tracts in mathematics ;, 2013)