部分圏
subcategory
部分集合と同じノリ
https://ja.wikipedia.org/wiki/部分圏