 |
Universität Augsburg
|
|
|
Universität Augsburg
|
|
Herr Tim Baumann
Universität Augsburg
spricht am
Dienstag, 18. Dezember 2018
um
15:45 Uhr
im
Raum 1010 (L1)
über das Thema:
| Abstract: |
| Homotopy type theory provides a framework for doing synthetic homotopy theory, making it possible to reason about spaces (which are represented by types) and paths without any reference to point set topology. In this setting, the n-th reduced cohomology group of a pointed type X can be defined, in an analogous manner to classical homotopy theory, as the set of base point preserving maps into the Eilenberg-MacLane space K(G,n)) modulo homotopy. In this talk I will give a construction of the cup product on these cohomology groups, which is induced by a multiplication map on Eilenberg-MacLane spaces, and prove that it is graded-commutative. I will also describe a computer-checked formalization of these results in the Agda proof assistant. |
| Hierzu ergeht herzliche Einladung. |
| Prof. Dr. Marc Nieper-Wißkirchen |