Coherence in Three-Dimensional Category Theory

Higher category theory is an increasingly important discipline with applications in topology, geometry, logic and theoretical computer science. This comprehensive treatment covers essential material for any student of coherence, or for any researcher wishing to apply higher categories or coherence results in fields such as algebraic topology.