generated at
2/21/2025, 9:22:16 PM
充満部分圏
full subcategory
https://ncatlab.org/nlab/show/full+subcategory
https://ja.wikipedia.org/wiki/部分圏