nLab isocofibration




A morphism f:ABf:A\to B in a strict 2-category KK is an isocofibration if the corresponding morphism BAB\to A in K opK^{op} is an isofibration.


In Cat (and Grpd), the isocofibrations are the functors which are injective on objects. There they are the cofibrations in the canonical model structure on Cat (on Grpd).

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.

Last revised on November 1, 2023 at 06:46:49. See the history of this page for a list of all contributions to it.