homalg project

All

95 repositories

CapAndHomalg.jl
Public
The CAP and homalg projects compatibility package for Julia
Julia
•
GNU Lesser General Public License v3.0
•5•4•1•0•Updated Mar 30, 2025Mar 30, 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•4•Updated Mar 30, 2025Mar 30, 2025
homalg-project.github.io
Public
Homepage repository of the GitHub organization homalg-project
CSS
•
Other
•1•1•1•0•Updated Mar 27, 2025Mar 27, 2025
Toposes
Public
[READ-ONLY-SUBSPLIT] Elementary toposes
GAP
•
GNU General Public License v2.0
•3•2•0•0•Updated Mar 26, 2025Mar 26, 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•31•2•Updated Mar 26, 2025Mar 26, 2025
ToolsForCategoricalTowers
Public
[READ-ONLY-SUBSPLIT] Tools for CategoricalTowers
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated Mar 26, 2025Mar 26, 2025
SubcategoriesForCAP
Public
[READ-ONLY-SUBSPLIT] Subcategory and other related constructors for CAP categories
subcategory slice-category full-subcategory
GAP
•
GNU General Public License v2.0
•3•0•3•0•Updated Mar 26, 2025Mar 26, 2025
PreSheaves
Public
[READ-ONLY-SUBSPLIT] Categories of (co)presheaves
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated Mar 26, 2025Mar 26, 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 Mar 26, 2025Mar 26, 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 Mar 26, 2025Mar 26, 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 Mar 26, 2025Mar 26, 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 Mar 25, 2025Mar 25, 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 Mar 25, 2025Mar 25, 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 Mar 25, 2025Mar 25, 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 Mar 25, 2025Mar 25, 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 Mar 25, 2025Mar 25, 2025
Toposes.jl
Public
[READ-ONLY-SUBSPLIT] Elementary toposes in Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated Mar 25, 2025Mar 25, 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 Mar 25, 2025Mar 25, 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 Mar 25, 2025Mar 25, 2025
CAP.jl
Public
[READ-ONLY-SUBSPLIT] Categories, Algorithms, Programming for Julia
Julia
•
GNU General Public License v2.0
•1•0•0•0•Updated Mar 25, 2025Mar 25, 2025
CAP_project.jl
Public
Julia
•3•0•0•0•Updated Mar 25, 2025Mar 25, 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•25•75•12•Updated Mar 25, 2025Mar 25, 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 Mar 25, 2025Mar 25, 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 Mar 25, 2025Mar 25, 2025
PackageJanitor
Public
Assist GAP packages in complying with standards
Shell
•4•2•4•0•Updated Mar 25, 2025Mar 25, 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 Mar 25, 2025Mar 25, 2025
FinGSetsForCAP
Public
The (skeletal) elementary topos of finite G-sets
GAP
•
GNU General Public License v2.0
•3•0•1•0•Updated Mar 24, 2025Mar 24, 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 Mar 15, 2025Mar 15, 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•6•4•0•Updated Mar 13, 2025Mar 13, 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 Mar 12, 2025Mar 12, 2025