homalg project

All

94 repositories

CapAndHomalg.jl
Public
The CAP and homalg projects compatibility package for Julia
Julia
•
GNU Lesser General Public License v3.0
•5•4•5•1•Updated Dec 26, 2024Dec 26, 2024
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•1•Updated Dec 26, 2024Dec 26, 2024
homalg_project
Public
Deposited packages of the homalg project
modules matrices gap computer-algebra-system rings homological-algebra
GAP
•19•12•41•3•Updated Dec 22, 2024Dec 22, 2024
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•19•Updated Dec 17, 2024Dec 17, 2024
MatroidGeneration
Public
Generate low-rank matroids
GAP
•
GNU General Public License v2.0
•2•2•0•0•Updated Dec 15, 2024Dec 15, 2024
alcove
Public
Algebraic combinatorics package for GAP
GAP
•
GNU General Public License v2.0
•4•1•0•0•Updated Dec 14, 2024Dec 14, 2024
MatricesForHomalg.jl
Public
Matrices for the homalg project
Julia
•
GNU Lesser General Public License v3.0
•3•0•4•0•Updated Dec 13, 2024Dec 13, 2024
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 Dec 7, 2024Dec 7, 2024
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 Dec 7, 2024Dec 7, 2024
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 Dec 7, 2024Dec 7, 2024
Toposes.jl
Public
[READ-ONLY-SUBSPLIT] Elementary toposes in Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Dec 7, 2024Dec 7, 2024
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 Dec 7, 2024Dec 7, 2024
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 Dec 7, 2024Dec 7, 2024
CAP.jl
Public
[READ-ONLY-SUBSPLIT] Categories, Algorithms, Programming for Julia
Julia
•
GNU General Public License v2.0
•0•0•0•0•Updated Dec 7, 2024Dec 7, 2024
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 Dec 7, 2024Dec 7, 2024
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 Dec 6, 2024Dec 6, 2024
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•7•28•2•Updated Dec 6, 2024Dec 6, 2024
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 Dec 6, 2024Dec 6, 2024
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 Dec 6, 2024Dec 6, 2024
InternalModules
Public
[READ-ONLY-SUBSPLIT] Modules over internal algebras
GAP
•
GNU General Public License v2.0
•2•0•0•0•Updated Dec 6, 2024Dec 6, 2024
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 Dec 6, 2024Dec 6, 2024
FiniteCocompletions
Public
[READ-ONLY-SUBSPLIT] Finite (co)product/(co)limit (co)completions
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated Dec 6, 2024Dec 6, 2024
CatReps
Public
[READ-ONLY-SUBSPLIT] Representations and cohomology of finite categories
GAP
•
GNU General Public License v2.0
•3•0•0•0•Updated Dec 6, 2024Dec 6, 2024
ToolsForCategoricalTowers
Public
[READ-ONLY-SUBSPLIT] Tools for CategoricalTowers
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated Dec 3, 2024Dec 3, 2024
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 Nov 25, 2024Nov 25, 2024
QuotientCategories
Public
[READ-ONLY-SUBSPLIT] Quotient categories of CAP categories by two-sided ideals
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated Nov 23, 2024Nov 23, 2024
PreSheaves
Public
[READ-ONLY-SUBSPLIT] Categories of (co)presheaves
GAP
•
GNU General Public License v2.0
•0•0•0•0•Updated Nov 23, 2024Nov 23, 2024
IntrinsicCategories
Public
[READ-ONLY-SUBSPLIT] Intrinsic categories for CAP
GAP
•
GNU General Public License v2.0
•3•2•0•0•Updated Nov 23, 2024Nov 23, 2024
CategoriesWithAmbientObjects
Public
[READ-ONLY-SUBSPLIT] Categories with objects having ambient objects
GAP
•
GNU General Public License v2.0
•3•1•0•0•Updated Nov 23, 2024Nov 23, 2024
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 Nov 22, 2024Nov 22, 2024