Coherence in Three-Dimensional Category Theory door Nick Gurski