nLab
conservative morphism

Contents

Definition

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

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

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

Remarks

Revised on March 9, 2012 20:20:51 by Urs Schreiber (82.113.106.131)