充満部分圏
full subcategory
https://ncatlab.org/nlab/show/full+subcategory
https://ja.wikipedia.org/wiki/部分圏