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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Теория категорий

645 membersпожаловаться на группу
2021 November 30

B

Brenoritvrezorkre in Теория категорий
Да
источник
19:37пожаловаться#1

__

_________ _________ in Теория категорий
этот не добавляй, лучше отдельный сделать)
источник
19:44пожаловаться#2

ЕО

Евгений Омельченко... in Теория категорий
Ну сделайте — исправлю
источник
19:44пожаловаться#3

B

Brenoritvrezorkre in Теория категорий
А чем тебе мой не угодил
источник
19:59пожаловаться#4

B

Brenoritvrezorkre in Теория категорий
Или в духе "больше чатов богу чатов"?
источник
20:00пожаловаться#5

__

_________ _________ in Теория категорий
у тебя там про все подряд, нужен отдельный про философию математики.
источник
20:02пожаловаться#6

__

_________ _________ in Теория категорий
а как бы фармить отовсюду интересующихся чтобы свой канал растить и чат при нем ну так себе тема
источник
20:04пожаловаться#7

__

_________ _________ in Теория категорий
ты уж не сердчай
источник
20:04пожаловаться#8

B

Brenoritvrezorkre in Теория категорий
Нет, я не фармлю, просто раз зашло, то скинул
источник
20:04пожаловаться#9

__

_________ _________ in Теория категорий
да мы так и поняли
источник
20:04пожаловаться#10

__

_________ _________ in Теория категорий
удОли тогда раз не фармишь
источник
20:05пожаловаться#11

B

Brenoritvrezorkre in Теория категорий
Да какие-то странные претензии
источник
20:07пожаловаться#12

__

_________ _________ in Теория категорий
^^^
источник
20:08пожаловаться#13
2021 December 01

AG

Alex Gryzlov in Теория категорий
вот например
https://lmcs.episciences.org/1041/pdf Birkedal, Mogelberg, Schwinghammer, Stovring, [2012] "First steps in synthetic guarded domain theory: step-indexing in the topos of trees"
источник
17:34пожаловаться#14

AG

Alex Gryzlov in Теория категорий
тут проблема как всегда с теорией доменов - литература делится на "80е - начало 90х" и "начало 10х-20е"
источник
17:37пожаловаться#15

AG

Alex Gryzlov in Теория категорий
а посередине провал на 20 лет
источник
17:37пожаловаться#16

AG

Alex Gryzlov in Теория категорий
в котором вольготно плещется игровая семантика :)
источник
17:37пожаловаться#17

ЕО

Евгений Омельченко... in Теория категорий
Но это что-то специфическое, мне вот совсем не нужен step-index modeling
источник
17:37пожаловаться#18

ЕО

Евгений Омельченко... in Теория категорий
Это последствие влияния игровой семантики?
источник
17:38пожаловаться#19

AG

Alex Gryzlov in Теория категорий
"это" в смысле что они рассматривают степ-индексацию?
источник
17:38пожаловаться#20