It is known that fully faithful functors are closed under pushouts in Cat. Are locally fully faithful 2-functors closed under 2-pushouts in the 2-category 2-Cat of 2-categories, strict 2-functors, and 2-natural transformations? I expect this to be true, but giving an explicit description of a 2-pushout is daunting. Is there a simpler way to reason to prove this by reasoning entirely locally (i.e. in the hom-categories)?
Are locally fully faithful 2-functors closed under 2-pushout in 2-Cat?
varkor
- 10.7k
- 29
- 72