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
Nov 18, 2024 - GAP