1
Locally Cartesian Closed Categories
2
Univaiate Polynomial Functors
3
Multivariate Polynomial Functors
Dependency graph
Polynomial Functors in Lean4
Sina Hazratpour
1
Locally Cartesian Closed Categories
2
Univaiate Polynomial Functors
3
Multivariate Polynomial Functors