Inverse image functor

From Free net encyclopedia