Opendata, web and dolomites

H2020 projects about "homotopy"

The page lists 17 projects related to the topic "homotopy".

# achronym  title  year 
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