homalg-project/CategoricalTowers
Towers of category constructors
GitHub repository with 12 stars and 6 forks.
Language: GAP
Topics: categorical-towers, category-constructors, category-of-copresheaves, category-of-presheaves, category-theory, cocompletions, completions, finite-coequalizer-completion, finite-colimit-cocompletion, finite-equalizer-completion