homalg project

All

95 repositories

ToolsForCategoricalTowers
Public
[READ-ONLY-SUBSPLIT] Tools for CategoricalTowers
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated Jun 10, 2025Jun 10, 2025
CategoricalTowers
Public
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
GAP
•
GNU General Public License v2.0
•4•6•33•3•Updated Jun 10, 2025Jun 10, 2025
CapAndHomalg.jl
Public
The CAP and homalg projects compatibility package for Julia
Julia
•
GNU Lesser General Public License v3.0
•5•5•1•0•Updated Jun 10, 2025Jun 10, 2025
HomalgProject.jl
Public
The homalg project compatibility package for Julia
category-theory homological-algebra derived-category derived-functor homotopy-category julia gap oscar homalg
Julia
•
GNU Lesser General Public License v3.0
•7•5•0•3•Updated Jun 10, 2025Jun 10, 2025
CAP_project
Public
CAP project -- Categories, Algorithms, and Programming
modules category-theory internalization homological-algebra additive-closure freyd-category adelman-category vector-spaces
GAP
•18•28•74•12•Updated Jun 9, 2025Jun 9, 2025
HigherHomologicalAlgebra
Public
A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
gap homological-algebra derived-category homotopy-category derived-equivalences triangulated-categories complex-categories
GAP
•6•7•4•0•Updated Jun 6, 2025Jun 6, 2025
FpCategories
Public
[READ-ONLY-SUBSPLIT] Finitely presented categories by generating quivers and relations
GAP
•
GNU General Public License v2.0
•0•1•0•0•Updated May 31, 2025May 31, 2025
FreydCategoriesForCAP.jl
Public
[READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated May 20, 2025May 20, 2025
CAP_project.jl
Public
Julia
•3•0•0•0•Updated May 20, 2025May 20, 2025
FreydCategoriesForCAP
Public
[READ-ONLY-SUBSPLIT] Freyd categories - Formal (co)kernels for additive categories
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated May 20, 2025May 20, 2025
LinearAlgebraForCAP.jl
Public
[READ-ONLY-SUBSPLIT] Category of Matrices over a Field for CAP in Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated May 20, 2025May 20, 2025
CartesianCategories.jl
Public
[READ-ONLY-SUBSPLIT] Cartesian and cocartesian categories and various subdoctrines in Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated May 20, 2025May 20, 2025
ModulePresentationsForCAP.jl
Public
[READ-ONLY-SUBSPLIT] Category R-pres for CAP in Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated May 20, 2025May 20, 2025
Toposes.jl
Public
[READ-ONLY-SUBSPLIT] Elementary toposes in Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated May 20, 2025May 20, 2025
FinSetsForCAP.jl
Public
[READ-ONLY-SUBSPLIT] The (skeletal) elementary topos of finite sets in Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated May 20, 2025May 20, 2025
ZXCalculusForCAP.jl
Public
[READ-ONLY-SUBSPLIT] The category of ZX-diagrams in Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated May 20, 2025May 20, 2025
MonoidalCategories.jl
Public
[READ-ONLY-SUBSPLIT] Monoidal and monoidal (co)closed categories in Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated May 20, 2025May 20, 2025
CAP.jl
Public
[READ-ONLY-SUBSPLIT] Categories, Algorithms, Programming for Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated May 19, 2025May 19, 2025
MatricesForHomalg.jl
Public
Matrices for the homalg project
Julia
•
GNU Lesser General Public License v3.0
•4•0•3•0•Updated May 19, 2025May 19, 2025
ZariskiFrames
Public
[READ-ONLY-SUBSPLIT] (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties
locales constructible-sets zariski-frames zariski-coframes zariski-topology locally-closed-sets quasi-affine-variety affine-variety projective-variety toric-variety
GAP
•
GNU General Public License v2.0
•3•0•6•0•Updated May 3, 2025May 3, 2025
Locales
Public
[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
frames locales lattices heyting-algebras coframes coheyting-algebras boolean-algebras constructible-sets
GAP
•
GNU General Public License v2.0
•4•2•0•0•Updated May 3, 2025May 3, 2025
LazyCategories
Public
[READ-ONLY-SUBSPLIT] Construct an equivalent lazy category out of a CAP category
GAP
•
GNU General Public License v2.0
•2•0•0•0•Updated May 3, 2025May 3, 2025
InternalModules
Public
[READ-ONLY-SUBSPLIT] Modules over internal algebras
GAP
•
GNU General Public License v2.0
•2•0•0•0•Updated May 3, 2025May 3, 2025
FunctorCategories
Public
[READ-ONLY-SUBSPLIT] Categories of functors
functors functor-category finitely-presented-category linear-category quiver-representations
GAP
•
GNU General Public License v2.0
•6•3•0•0•Updated May 3, 2025May 3, 2025
FiniteCocompletions
Public
[READ-ONLY-SUBSPLIT] Finite (co)product/(co)limit (co)completions
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated May 3, 2025May 3, 2025
CatReps
Public
[READ-ONLY-SUBSPLIT] Representations and cohomology of finite categories
GAP
•
GNU General Public License v2.0
•3•0•0•0•Updated May 3, 2025May 3, 2025
homalg_project
Public
Deposited packages of the homalg project
modules matrices gap computer-algebra-system rings homological-algebra
GAP
•20•15•41•3•Updated May 2, 2025May 2, 2025
FinSetsForCAP
Public
The (skeletal) elementary topos of finite sets
finite-sets elementary-topos
GAP
•
GNU General Public License v2.0
•7•4•1•5•Updated May 2, 2025May 2, 2025
Algebroids
Public
[READ-ONLY-SUBSPLIT] Algebroids and bialgebroids as preadditive categories generated by enhanced quivers
quivers finitely-presented-category algebroids bialgebroids path-algebras
GAP
•
GNU General Public License v2.0
•4•1•0•0•Updated Apr 24, 2025Apr 24, 2025
PreSheaves
Public
[READ-ONLY-SUBSPLIT] Categories of (co)presheaves
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated Apr 9, 2025Apr 9, 2025