https://ou-liu-red-sugar.github.io/tags/compactly-generated/Recent content in Compactly Generated on Ou LiuHugo -- 0.146.0en-usSat, 25 Apr 2026 00:00:00 +0000https://ou-liu-red-sugar.github.io/wiki/compactly-generated-category/Sat, 25 Apr 2026 00:00:00 +0000https://ou-liu-red-sugar.github.io/wiki/compactly-generated-category/A presentable category that is generated under filtered colimits by its compact (i.e. ℵ₀-compact) objects. Equivalently, the Ind-completion of a small idempotent-complete category with finite colimits.