generated at
部分圏
subcategory
部分集合と同じノリ

https://ja.wikipedia.org/wiki/部分圏