Floris van Doorn
|
c19192fbe5
|
fix error with numerals in integers
|
2018-10-03 19:39:34 -04:00 |
|
Floris van Doorn
|
db8402e1af
|
define deloopable types, define cup product
The cup product on Eilenberg Maclane spaces is now defined, but no properties are proven yet
|
2018-09-26 12:57:41 +02:00 |
|
Floris van Doorn
|
da033c0f4c
|
work on dependent smash and cup product on EM-spaces
also many small fixes
|
2018-09-20 02:08:45 +02:00 |
|
Floris van Doorn
|
68345f75ce
|
move more and update after changes
|
2018-09-11 19:24:51 +02:00 |
|
Floris van Doorn
|
ba5648fb87
|
start on construction of cup product of EM-spaces
|
2018-09-10 18:04:28 +02:00 |
|