Pinned Repositories
CAP_project
CAP project -- Categories, Algorithms, and Programming
CapAndHomalg.jl
The CAP and homalg projects compatibility package for Julia
CapAndHomalgNotebooks
CAP and homalg based packages
CategoricalTowers
Towers of category constructors
FinSetsForCAP
The (skeletal) elementary topos of finite sets
HigherHomologicalAlgebra
A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
homalg_project
Deposited packages of the homalg project
HomalgProject.jl
The homalg project compatibility package for Julia
LoopIntegrals
Compute master integrals using commutative and noncommutative methods from computational algebraic geometry
ToricVarieties_project
Compute sheaf cohomology of coherent sheaves on toric varieties
homalg project's Repositories
homalg-project/CAP_project
CAP project -- Categories, Algorithms, and Programming
homalg-project/CategoricalTowers
Towers of category constructors
homalg-project/HigherHomologicalAlgebra
A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
homalg-project/HomalgProject.jl
The homalg project compatibility package for Julia
homalg-project/CapAndHomalg.jl
The CAP and homalg projects compatibility package for Julia
homalg-project/FinSetsForCAP
The (skeletal) elementary topos of finite sets
homalg-project/FunctorCategories
[READ-ONLY-SUBSPLIT] Categories of functors
homalg-project/Locales
[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
homalg-project/PackageJanitor
Assist GAP packages in complying with standards
homalg-project/Toposes
[READ-ONLY-SUBSPLIT] Elementary toposes
homalg-project/Algebroids
[READ-ONLY-SUBSPLIT] Algebroids and bialgebroids as preadditive categories generated by enhanced quivers
homalg-project/FpCategories
[READ-ONLY-SUBSPLIT] Finitely presented categories by generating quivers and relations
homalg-project/InternalModules
[READ-ONLY-SUBSPLIT] Modules over internal algebras
homalg-project/CAP.jl
[READ-ONLY-SUBSPLIT] Categories, Algorithms, Programming for Julia
homalg-project/CAP_project.jl
homalg-project/CatReps
[READ-ONLY-SUBSPLIT] Representations and cohomology of finite categories
homalg-project/FiniteCocompletions
[READ-ONLY-SUBSPLIT] Finite (co)product/(co)limit (co)completions
homalg-project/FreydCategoriesForCAP
[READ-ONLY-SUBSPLIT] Freyd categories - Formal (co)kernels for additive categories
homalg-project/FreydCategoriesForCAP.jl
[READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia
homalg-project/IntrinsicGradedModules
[READ-ONLY-SUBSPLIT] Finitely presented graded modules over computable graded rings allowing multiple presentations and the notion of elements
homalg-project/LazyCategories
[READ-ONLY-SUBSPLIT] Construct an equivalent lazy category out of a CAP category
homalg-project/LinearAlgebraForCAP.jl
[READ-ONLY-SUBSPLIT] Category of Matrices over a Field for CAP in Julia
homalg-project/MatricesForHomalg.jl
Matrices for the homalg project
homalg-project/ModulePresentationsForCAP.jl
[READ-ONLY-SUBSPLIT] Category R-pres for CAP in Julia
homalg-project/PreSheaves
[READ-ONLY-SUBSPLIT] Categories of (co)presheaves
homalg-project/QuotientCategories
[READ-ONLY-SUBSPLIT] Quotient categories of CAP categories by two-sided ideals
homalg-project/SubcategoriesForCAP
[READ-ONLY-SUBSPLIT] Subcategory and other related constructors for CAP categories
homalg-project/ToolsForCategoricalTowers
[READ-ONLY-SUBSPLIT] Tools for CategoricalTowers
homalg-project/Toposes.jl
[READ-ONLY-SUBSPLIT] Elementary toposes in Julia
homalg-project/ZariskiFrames
[READ-ONLY-SUBSPLIT] (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties