Size: a a a

2020 May 19

TN

Tonpa Namdak in groupoid.space
гг
источник

TN

Tonpa Namdak in groupoid.space
после этого видос с Альтенкирхом можно нахуй удалить из интернета )
источник

TN

Tonpa Namdak in groupoid.space
Из нового в Групоид Инфинити: мы начали формализацию K(G,n) в кубической теории как HIT (впервые в мире).
источник

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
следите за комитами
источник

TN

Tonpa Namdak in groupoid.space
Майская подборка:
источник

TN

Tonpa Namdak in groupoid.space
[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
источник
2020 May 20

TN

Tonpa Namdak in groupoid.space
[7]. Integral Cohomology of Finite Postnikov Towers
http://doc.rero.ch/record/482/files/Clement_these.pdf
источник
2020 May 30

【Na】Cl... in groupoid.space
источник
2020 July 02

e

expl0iter in groupoid.space
Всем привет! Прошу прощения за членство без приглашения, я понаблюдаю с вашего разрешения?

https://t.me/groupoid/4069 — лучше б Ван Дер Вардена взяла...
источник

TN

Tonpa Namdak in groupoid.space
expl0iter
Всем привет! Прошу прощения за членство без приглашения, я понаблюдаю с вашего разрешения?

https://t.me/groupoid/4069 — лучше б Ван Дер Вардена взяла...
на каких пруверах пишешь?
источник
2020 July 10

a

adam in groupoid.space
Здарова
источник

TN

Tonpa Namdak in groupoid.space
Ололо!
источник

SF

Siegmentation Fault in groupoid.space
Да я накатил тут случайно телеграм, а потом вспомнил, что в нём groupoid.space есть.
источник

TN

Tonpa Namdak in groupoid.space
Важно помнить!
источник
2020 December 02

TN

Tonpa Namdak in groupoid.space
источник
2021 January 29

a

adam in groupoid.space
Переслано от adam
отныне лучшая либа на агде
https://github.com/nad/dependent-lenses
источник

TN

Tonpa Namdak in groupoid.space
источник
2021 January 30

TN

Tonpa Namdak in groupoid.space
Ближайшая по духу к Групоид Инфинити модель процессов с примером сертифицированного эхо сервера в стиле пи-калкулуса [1], в котором сигнатуры каналов содержат зависимые типы.

https://github.com/5HT/DependentLinearPi

[1] https://iris.unito.it/retrieve/handle/2318/1739403/612000/main.pdf
источник
2021 March 17

TN

Tonpa Namdak in groupoid.space
источник