豊穣圏
enriched category
内部圏
イスベル共軛
豊穣圏 - Wikipedia