FpLinearCategories

Last updated:
Downloads last 30 days
6
Downloads last week
5
Downloads last day
0
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies

22 packages (13 direct, 9 transitive)

PackageDepthDownloads
CAP
Direct
62
MatricesForHomalg
Direct
28
LinearAlgebraForCAP
Direct
24
MonoidalCategories
Direct
24
CartesianCategories
Direct
23
FinSetsForCAP
Direct
21
AdditiveClosuresForCAP
Direct
17
Toposes
Direct
15
LinearClosuresForCAP
Direct
12
QuotientCategories
Direct
12
FreydCategoriesForCAP
Direct
12
ToolsForCategoricalTowers
Direct
9
FpCategories
Direct
7
AbstractAlgebra
Depth 2
42,631
Nemo
Depth 2
30,721
Preferences
Depth 3
472,379
PrecompileTools
Depth 3
415,550
MacroTools
Depth 3
292,925
RandomExtensions
Depth 3
41,674
FLINT_jll
Depth 3
36,221
SHA
Depth 3
157
TOML
Depth 4
2,158
Dependents

No packages in the registry depend on this package.