#

cocompletions

Here is 1 public repository matching this topic...

homalg-project / CategoricalTowers

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 Jun 10, 2025
GAP

Improve this page

Add a description, image, and links to the cocompletions topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cocompletions topic, visit your repo's landing page and select "manage topics."