A bicategorical approach to static modules.
We show that there is a model structure in the sense of Quillen on an arbitrary Frobenius category such that the homotopy category of this model structure is equivalent to the stable category as triangulated categories. This seems to be well-accepted by experts but we were unable to find a complete proof for it in the literature. When is a weakly idempotent complete (i.e., every split monomorphism is an inflation) Frobenius category, the model structure we constructed is an exact (closed)...