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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

groupoid.space

72 membersпожаловаться на группу
2019 December 12

KR

Kostiantyn Rybnikov in groupoid.space
огооо, це просто топ! зв’язок між неперервністю функції в топології та в конструктивній математиці, як раз давно хотів дізнатись про це. дякую!
источник
12:30пожаловаться#1

TN

Tonpa Namdak in groupoid.space
Да да це для топологойобів :-)
источник
12:37пожаловаться#2

KR

Kostiantyn Rybnikov in groupoid.space
я ж по п'ятницях у Максименка вчусь, вже десь 10й тиждень, так шо по-троху ним стаю
источник
12:38пожаловаться#3

TN

Tonpa Namdak in groupoid.space
маладєц, мені після 2-го надоїло )
источник
12:44пожаловаться#4

TN

Tonpa Namdak in groupoid.space
треба категорію топологічних просторів написати
источник
12:45пожаловаться#5

TN

Tonpa Namdak in groupoid.space
якшо хочеш закрити гештальт
источник
12:45пожаловаться#6

TN

Tonpa Namdak in groupoid.space
в Lean я бачив
источник
12:45пожаловаться#7

TN

Tonpa Namdak in groupoid.space
і відкрита проблема в теорії типів — транспорт між топологією та накриваючими просторами в визначенні топоса і пулбека для subobjectClassifier
источник
12:46пожаловаться#8

TN

Tonpa Namdak in groupoid.space
ну тобто це за визначенням так. але написати його (визначення) важко )
источник
12:47пожаловаться#9
2019 December 14

TN

Tonpa Namdak in groupoid.space
The_stable_moduli_space_of_Riemann_surfa - Copy.pdf
(690.32 Кб)
источник
20:59пожаловаться#10
2019 December 19

TN

Tonpa Namdak in groupoid.space
https://arxiv.org/pdf/1912.08696.pdf
источник
12:26пожаловаться#11
2020 January 09

TN

Tonpa Namdak in groupoid.space
https://fppf.site/ega/ega1-auto.pdf
источник
01:47пожаловаться#12
2020 January 12

TN

Tonpa Namdak in groupoid.space
https://s3-us-west-2.amazonaws.com/tandfbis/rt-files/images/1.+Routledge+Classics/Bertrand+Russell+Biblet.pdf
источник
18:36пожаловаться#13

TN

Tonpa Namdak in groupoid.space
https://youtu.be/Seq56ms4hWA?t=2939
YouTube
Технотеология vs. коинсидентология VI. 29.12.2019. Музей звука (СПб)
Технотеология vs. коинсидентология VI: Рождество vs. Тождество (пафос форма атрибуты новый поворот) Шестая ежегодная встреча из цикла «Технотеология vs. коин...
источник
19:12пожаловаться#14
2020 January 25

TN

Tonpa Namdak in groupoid.space
http://math.jhu.edu/~dfuente6/notes/loopspace.pdf
источник
14:52пожаловаться#15

TN

Tonpa Namdak in groupoid.space
https://www.youtube.com/watch?v=hlCVHVtAlqQ
YouTube
Eric Finster, Towards Higher Universal Algebra in Type Theory
Homotopy Type Theory Electronic Seminar Talks, 2018-12-06
источник
14:52пожаловаться#16

TN

Tonpa Namdak in groupoid.space
https://github.com/ericfinster/higher-alg
GitHub
ericfinster/higher-alg
An approach to higher algebra in type theory. Contribute to ericfinster/higher-alg development by creating an account on GitHub.
источник
14:53пожаловаться#17
2020 January 26

TN

Tonpa Namdak in groupoid.space
pinter_c_c_a_book_of_abstract_algebra.pdf
(26.7 Мб)
источник
14:02пожаловаться#18

TN

Tonpa Namdak in groupoid.space
beachy_j_a_blair_w_d_abstract_algebra.pdf
(4.59 Мб)
источник
14:12пожаловаться#19

TN

Tonpa Namdak in groupoid.space
sastry_n_s_n_yadav_m_k_eds_group_theory_and_computation.pdf
(2.63 Мб)
источник
14:19пожаловаться#20