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
43,444
Nemo
Depth 2
31,339
Preferences
Depth 3
484,236
PrecompileTools
Depth 3
425,880
MacroTools
Depth 3
303,945
RandomExtensions
Depth 3
42,478
FLINT_jll
Depth 3
36,944
SHA
Depth 3
160
TOML
Depth 4
2,179
Dependents

No packages in the registry depend on this package.