|
homalg-project's
repositories
|
|
.github
|
|
Algebroids
|
|
CatReps
|
|
CategoriesWithAmbientObjects
|
|
ExteriorPowersCategories
|
|
FiniteCocompletions
|
|
FpCategories
|
|
FunctorCategories
|
|
GradedCategories
|
|
InternalModules
|
|
IntrinsicCategories
|
|
IntrinsicGradedModules
|
|
IntrinsicModules
|
|
LazyCategories
|
|
Locales
|
|
PreSheaves
|
|
QuotientCategories
|
|
SubcategoriesForCAP
|
|
ToolsForCategoricalTowers
|
|
Toposes
|
|
ZariskiFrames
|
|
dev
|
|
.gitignore
|
|
LICENSE
|
|
README.md
|
|
makefile
|