右导出函子

右导出函子是一类重要的函子，左导出函子的对偶概念，是由函子T导出的新函子。