FpLinearCategories

Last updated:
Downloads last 30 days
6
Downloads last week
0
Downloads last day
0
Total Downloads
View Total Downloads data table
DateDownloads
6
Downloads by Region
Dependencies

22 packages (13 direct, 9 transitive)

PackageDepthDownloads
CAP
Direct
224
MonoidalCategories
Direct
165
CartesianCategories
Direct
124
Toposes
Direct
93
MatricesForHomalg
Direct
85
LinearAlgebraForCAP
Direct
77
FinSetsForCAP
Direct
75
AdditiveClosuresForCAP
Direct
26
ToolsForCategoricalTowers
Direct
25
FreydCategoriesForCAP
Direct
23
LinearClosuresForCAP
Direct
19
QuotientCategories
Direct
18
FpCategories
Direct
14
AbstractAlgebra
Depth 2
29,706
Nemo
Depth 2
23,045
Preferences
Depth 3
573,762
PrecompileTools
Depth 3
480,457
MacroTools
Depth 3
378,909
RandomExtensions
Depth 3
28,641
FLINT_jll
Depth 3
24,444
SHA
Depth 3
193
TOML
Depth 4
4,829
Dependents

No packages in the registry depend on this package.