# Whether the morphism has special name

1. Mar 10, 2009

### navigator

If morphism h is an extension of morphism f,we call morphism f is a restricion of morphism h; If morphism h is a lifting of morphism f,what do we call morphism f of morphism h ? Or in other words, if i is an inclusion morphism ,then what do we call the morphism f*i, as i*f is called restriction of f ?

2. Mar 10, 2009

### matt grime

What you call it entirely depends on how one has lifted; there are normally going to be (infinitely) many different lifts with no reason to suppose that any one is _the_ lift.

An example where one does have some special properties would be the induced morphism in representation theory from the induction functor. (One might well need some functor lying around to show that something exists and is unique and has the right universal properties.)