nLab
pseudomonic morphism

Contents

Definition

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

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

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

Remarks

Revised on October 26, 2010 18:21:54 by Urs Schreiber (131.211.232.186)