In this review we report on how the problem of general covariance is treated within the algebraic approach to quantum field theory by use of concepts from category theory. Some new results on net cohomology and superselection structure attained in this framework are included.