Towers of category constructors
category-theory completions category-constructors cocompletions categorical-towers finite-strict-product-completion category-of-presheaves category-of-copresheaves finite-colimit-cocompletion finite-limit-completion finite-strict-coproduct-completion finite-coequalizer-completion finite-equalizer-completion
-
Updated
Dec 6, 2024 - GAP