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

Last revised on October 26, 2010 at 18:21:54. See the history of this page for a list of all contributions to it.