Full and faithful functor

Summary