Wärn, David
- Path spaces of pushouts
2024/02/19 by Wärn, David · 1 citation
#Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
- Projective Space in Synthetic Algebraic Geometry
2024/05/22 by Felix Cherubini, Cherubini, Felix, Thierry Coquand +4 · 1 citation
Engineering · Mathematics · #03B38 #14A99 (Primary) #18N99 (Secondary) #Advanced Numerical Analysis Techniques #Advanced Theoretical and Applied Studies in Material Sciences and Geometry #Algebraic Geometry (math.AG) #FOS: Mathematics #Logic (math.LO) #Mathematics and Applications