Coherence in three-dimensional category theory / Nick Gurski. Cambridge [u.a] : Cambridge Univ. Press, 2013