homalg project
Repositories of the computer algebra packages relying on the projects homalg and CAP.
Pinned Loading
Repositories
Showing 10 of 95 repositories
- FreydCategoriesForCAP.jl Public
[READ-ONLY-SUBSPLIT] Formal (co)kernels for additive categories in Julia
- LinearAlgebraForCAP.jl Public
[READ-ONLY-SUBSPLIT] Category of Matrices over a Field for CAP in Julia
- FinSetsForCAP.jl Public
[READ-ONLY-SUBSPLIT] The (skeletal) elementary topos of finite sets in Julia
- CartesianCategories.jl Public
[READ-ONLY-SUBSPLIT] Cartesian and cocartesian categories and various subdoctrines in Julia
- MonoidalCategories.jl Public
[READ-ONLY-SUBSPLIT] Monoidal and monoidal (co)closed categories in Julia