nLab pseudomonic morphism

Context

2-Category theory

2-category theory

Contents

Definition

A morphism $f\colon A\to B$ in a 2-category $K$ is said to be (representably) pseudomonic if for all objects $X$, the induced functor

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

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

Remarks

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