nLab locally fully faithful 2-functor

Contents

Contents

Definition

A 2-functor F:CDF\colon C \to D is locally fully faithful if each functor on hom-categories

F:C(x,y)D(Fx,Fy) F \colon C(x,y) \to D(F x, F y)

is fully faithful.

basic properties of…

Last revised on May 27, 2020 at 16:32:21. See the history of this page for a list of all contributions to it.