Lemma

In this paper we develop a 2-categorical approach to coherence in compact closed categories.Our approach allows us to place compact closed categories within the context of homotopical algebra.More precisely, we construct two new model categories whose fibrant objects are (two different models of) compact closed categories.We prove a strictification theorem by showing a Quillen equivalence between the two.