最近知った言葉
- dense functor →https://ncatlab.org/nlab/show/dense+functor
- copower →https://ncatlab.org/nlab/show/copower
- inverter / coinverter →https://ncatlab.org/nlab/show/inverter
- inserter / coinserter →https://ncatlab.org/nlab/show/inserter
- equifier →https://ncatlab.org/nlab/show/equifier
- replete subcategory →https://ncatlab.org/nlab/show/replete+subcategory
- codescent objects ?