Coherence in Three-Dimensional Category Theory by Nick Gurski