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 Feb 27, 2025Feb 27, 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 Feb 27, 2025Feb 27, 2025
FreydCategoriesForCAP.jl
Public
[READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 26, 2025Feb 26, 2025
Toposes.jl
Public
[READ-ONLY-SUBSPLIT] Elementary toposes in Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 26, 2025Feb 26, 2025
CAP.jl
Public
[READ-ONLY-SUBSPLIT] Categories, Algorithms, Programming for Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 26, 2025Feb 26, 2025
CAP_project.jl
Public
Julia
•2•0•0•0•Updated Feb 26, 2025Feb 26, 2025
MatricesForHomalg.jl
Public
Matrices for the homalg project
Julia
•
GNU Lesser General Public License v3.0
•3•0•3•0•Updated Feb 26, 2025Feb 26, 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•3•0•Updated Feb 24, 2025Feb 24, 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 Feb 23, 2025Feb 23, 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•29•2•Updated Feb 23, 2025Feb 23, 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 Feb 23, 2025Feb 23, 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 Feb 23, 2025Feb 23, 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•5•0•Updated Feb 23, 2025Feb 23, 2025
IntrinsicGradedModules
Public
[READ-ONLY-SUBSPLIT] Finitely presented graded modules over computable graded rings allowing multiple presentations and the notion of elements
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 23, 2025Feb 23, 2025
InternalModules
Public
[READ-ONLY-SUBSPLIT] Modules over internal algebras
GAP
•
GNU General Public License v2.0
•2•0•0•0•Updated Feb 23, 2025Feb 23, 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 Feb 23, 2025Feb 23, 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 Feb 23, 2025Feb 23, 2025
CatReps
Public
[READ-ONLY-SUBSPLIT] Representations and cohomology of finite categories
GAP
•
GNU General Public License v2.0
•3•0•0•0•Updated Feb 23, 2025Feb 23, 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 Feb 22, 2025Feb 22, 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•77•12•Updated Feb 22, 2025Feb 22, 2025
Toposes
Public
[READ-ONLY-SUBSPLIT] Elementary toposes
GAP
•
GNU General Public License v2.0
•3•2•0•0•Updated Feb 22, 2025Feb 22, 2025
ModulePresentationsForCAP.jl
Public
[READ-ONLY-SUBSPLIT] Category R-pres for CAP in Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 19, 2025Feb 19, 2025
LinearAlgebraForCAP.jl
Public
[READ-ONLY-SUBSPLIT] Category of Matrices over a Field for CAP in Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 19, 2025Feb 19, 2025
ZXCalculusForCAP.jl
Public
[READ-ONLY-SUBSPLIT] The category of ZX-diagrams in Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 19, 2025Feb 19, 2025
FinSetsForCAP.jl
Public
[READ-ONLY-SUBSPLIT] The elementary topos of (skeletal) finite sets in Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 19, 2025Feb 19, 2025
CartesianCategories.jl
Public
[READ-ONLY-SUBSPLIT] Cartesian and cocartesian categories and various subdoctrines in Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 19, 2025Feb 19, 2025
MonoidalCategories.jl
Public
[READ-ONLY-SUBSPLIT] Monoidal and monoidal (co)closed categories in Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 19, 2025Feb 19, 2025
ToolsForCategoricalTowers
Public
[READ-ONLY-SUBSPLIT] Tools for CategoricalTowers
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated Feb 18, 2025Feb 18, 2025
FinSetsForCAP
Public
The elementary topos of (skeletal) finite sets
finite-sets elementary-topos
GAP
•
GNU General Public License v2.0
•7•4•1•5•Updated Feb 15, 2025Feb 15, 2025
PackageJanitor
Public
Assist GAP packages in complying with standards
Shell
•4•2•4•0•Updated Feb 14, 2025Feb 14, 2025