Change the repository type filter
All
Repositories list
84 repositories
CapAndHomalg.jl
PublicHomalgProject.jl
PublicThe homalg project compatibility package for JuliaFunctorCategories
Public[READ-ONLY-SUBSPLIT] Categories of functorsCategoricalTowers
PublicFpCategories
Publichomalg-project.github.io
PublicZariskiFrames
Public[READ-ONLY-SUBSPLIT] (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varietiesLocales
Public[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible setsLazyCategories
PublicInternalModules
PublicFiniteCocompletions
PublicCatReps
PublicCAP_project
PublicCAP project -- Categories, Algorithms, and ProgrammingFinSetsForCAP
PublicThe elementary topos of (skeletal) finite setsFreydCategoriesForCAP
PublicCddInterface
PublicAlgebroids
Public[READ-ONLY-SUBSPLIT] Algebroids and bialgebroids as preadditive categories generated by enhanced quivershomalg_project
PublicDeposited packages of the homalg projectMatricesForHomalg.jl
PublicQPA2
PublicMachineLearningForCAP
PublicHigherHomologicalAlgebra
PublicA GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalencesSubcategoriesForCAP
Public[READ-ONLY-SUBSPLIT] Subcategory and other related constructors for CAP categorieshomalg_stats
PublicToposes
PublicPreSheaves
PublicIntrinsicCategories
PublicHeckeCategories
Publicalcove
Public