TN
Size: a a a
2020 May 19
TN
после этого видос с Альтенкирхом можно нахуй удалить из интернета )
TN
Из нового в Групоид Инфинити: мы начали формализацию K(G,n) в кубической теории как HIT (впервые в мире).
TN
следите за комитами
TN
Майская подборка:
TN
[1]. Eilenberg-MacLane Spacesin Homotopy Type Theory https://dlicata.wescreates.wesleyan.edu/pubs/lf14em/lf14em.pdf
[2]. THE WEDGE SUM AND THE SMASH PRODUCT INHOMOTOPY TYPE THEORY
http://www.math.lmu.de/~petrakis/Franz.pdf
[3]. CELLULAR COHOMOLOGY IN HOMOTOPY TYPE THEORY
https://arxiv.org/pdf/1802.02191.pdf
[4]. Synthetic Cohomology in Homotopy Type Theory
https://www.cs.cmu.edu/~rwh/theses/cavallo-msc.pdf
[5]. Higher Groups in Homotopy Type Theory
https://florisvandoorn.com/papers/higher-groups.pdf
[6]. Eilenberg-MacLane spaces in Homotopy Type Theory
https://florisvandoorn.com/talks/boise.pdf
[2]. THE WEDGE SUM AND THE SMASH PRODUCT INHOMOTOPY TYPE THEORY
http://www.math.lmu.de/~petrakis/Franz.pdf
[3]. CELLULAR COHOMOLOGY IN HOMOTOPY TYPE THEORY
https://arxiv.org/pdf/1802.02191.pdf
[4]. Synthetic Cohomology in Homotopy Type Theory
https://www.cs.cmu.edu/~rwh/theses/cavallo-msc.pdf
[5]. Higher Groups in Homotopy Type Theory
https://florisvandoorn.com/papers/higher-groups.pdf
[6]. Eilenberg-MacLane spaces in Homotopy Type Theory
https://florisvandoorn.com/talks/boise.pdf
2020 May 20
TN
[7]. Integral Cohomology of Finite Postnikov Towers
http://doc.rero.ch/record/482/files/Clement_these.pdf
http://doc.rero.ch/record/482/files/Clement_these.pdf
2020 May 30
2020 July 02
e
Всем привет! Прошу прощения за членство без приглашения, я понаблюдаю с вашего разрешения?
https://t.me/groupoid/4069 — лучше б Ван Дер Вардена взяла...
https://t.me/groupoid/4069 — лучше б Ван Дер Вардена взяла...
TN
Всем привет! Прошу прощения за членство без приглашения, я понаблюдаю с вашего разрешения?
https://t.me/groupoid/4069 — лучше б Ван Дер Вардена взяла...
https://t.me/groupoid/4069 — лучше б Ван Дер Вардена взяла...
на каких пруверах пишешь?
2020 July 10
a
Здарова
TN
Ололо!
SF
Да я накатил тут случайно телеграм, а потом вспомнил, что в нём groupoid.space есть.
TN
Важно помнить!
2020 December 02
2021 January 29
a
Переслано от adam
2021 January 30
TN
Ближайшая по духу к Групоид Инфинити модель процессов с примером сертифицированного эхо сервера в стиле пи-калкулуса [1], в котором сигнатуры каналов содержат зависимые типы.
https://github.com/5HT/DependentLinearPi
[1] https://iris.unito.it/retrieve/handle/2318/1739403/612000/main.pdf
https://github.com/5HT/DependentLinearPi
[1] https://iris.unito.it/retrieve/handle/2318/1739403/612000/main.pdf
2021 March 17