Opendata, web and dolomites
H2020 projects about "homotopy"
The page lists 17 projects related to the topic "homotopy".
| # | |||
|---|---|---|---|
| 1 | CoqHoTT | Coq for Homotopy Type Theory | 2015 |
| 2 | HotCoalgebras | Homotopy theory of cosimplicial unstable (co-)algebras over the Steenrod algebra | 2015 |
| 3 | KL2MG-interactions | K-theory, L^2-invariants, manifolds, groups and their interactions | 2015 |
| 4 | DefAlgS | Deformation theory of algebraic structures | 2016 |
| 5 | INDEX | Rigidity of groups and higher index theory | 2016 |
| 6 | GRAPHCPX | A graph complex valued field theory | 2016 |
| 7 | GrDyAp | Groups, Dynamics, and Approximation | 2016 |
| 8 | FusionSystems | Simple fusion systems and linking systems | 2016 |
| 9 | MSMA | Moduli Spaces, Manifolds and Arithmetic | 2016 |
| 10 | HToMS | Homotopy Theory of Moduli Spaces | 2018 |
| 11 | ChromoCats | The geometry of chromatic categories | 2018 |
| 12 | Loops and groups | Loops and groups: Geodesics, moduli spaces, and infinite discrete groups via string topology and homological stability | 2018 |
| 13 | KAPIBARA | Homotopy Theory of Algebraic Varieties and Wild Ramification | 2019 |
| 14 | SAIFIA | Strong Axioms of Infinity: Frameworks, Interactions and Applications | 2020 |
| 15 | QUADAG | Quadratic refinements in algebraic geometry | 2019 |
| 16 | HOTHSPOH | Homotopy theory of spaces of homomorphisms | 2019 |
| 17 | SYZYGY | Syzygies, moduli and topological invariants of groups | 2020 |