A morphism in a strict 2-category is an isocofibration if the corresponding morphism in is an isofibration.
In , the isocofibrations are the functors which are injective on objects. There they are the cofibrations in the canonical model structure on Cat. However, a general 2-category has two candidates for a canonical model structure, one involving the isofibrations and one the isocofibrations, and in general the two may not be the same.
Created on April 19, 2010 at 21:56:00. See the history of this page for a list of all contributions to it.