Coherence in three-dimensional category theory - Gurski, Nick 1980- (Cambridge University Press, 2013)