generated at
余完備
co-complete
summary
任意の小余極限が存在すること

dual
完備