В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

groupoid.space

65 membersпожаловаться на группу
2020 May 19

TN

Tonpa Namdak in groupoid.space
гг
источник
17:40пожаловаться#1

TN

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

TN

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

TN

Tonpa Namdak in groupoid.space
источник
17:43пожаловаться#4

TN

Tonpa Namdak in groupoid.space
следите за комитами
источник
17:43пожаловаться#5

TN

Tonpa Namdak in groupoid.space
Майская подборка:
источник
18:41пожаловаться#6

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
источник
18:44пожаловаться#7
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
источник
04:40пожаловаться#8
2020 May 30

【

【Ｎａ】Ｃｌ... in groupoid.space
https://www.twitch.tv/loperfidoandrea
источник
21:42пожаловаться#9
2020 July 02

e

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

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

TN

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

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

a

adam in groupoid.space
Здарова
источник
15:44пожаловаться#12

TN

Tonpa Namdak in groupoid.space
Ололо!
источник
15:44пожаловаться#13

SF

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

TN

Tonpa Namdak in groupoid.space
Важно помнить!
источник
15:46пожаловаться#15