inclusion functor

  1. REDIRECT subcategory