nLab faithful morphism

Contents

Contents

Definition

A morphism f:ABf\colon A\to B in a 2-category KK is said to be (representably) faithful if for all objects XX, the induced functor

K(X,A)K(X,B)K(X,A) \to K(X,B)

is faithful. In Cat, this is equivalent to ff being faithful in the usual sense.

Remarks

Last revised on September 9, 2018 at 11:35:16. See the history of this page for a list of all contributions to it.