Cellular Cohomology in Homotopy Type Theory
We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian groups of many common spaces are easier to compute. Cellular coh...
Պահպանված է:
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Artigo |
| Լեզու: | Inglês |
| Հրապարակվել է: |
Logical Methods in Computer Science e.V.
2020-06-01
|
| Շարք: | Logical Methods in Computer Science |
| Խորագրեր: | |
| Առցանց հասանելիություն: | https://lmcs.episciences.org/5274/pdf |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|