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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

559 membersпожаловаться на группу
2019 October 02

AK

Artem Kobzar in Теория категорий
Nick Ivanych
Более-менее любопытно, хотя и местами спорно —
https://www.youtube.com/watch?v=ho7oagHeqNc
Но самое главное, что социально справедливо!
;-)
YouTube
Category Theory in Life - Eugenia Cheng
This presentation was the opening keynote of Lambda World 2017 by Dr. Eugenia Cheng. Follow: -https://www.twitter.com/47deg -https://www.twitter.com/lambda_w...
Дайверсненько и инклюзивненько, я бы сказал
источник
14:30пожаловаться#1

NI

Nick Ivanych in Теория категорий
Человек известный, и не исключаю, что многим было любопытно ;-)
источник
14:32пожаловаться#2

VY

Vasiliy Yorkin in Теория категорий
А, она с канала catsters вроде? Хм, или нет
источник
16:13пожаловаться#3

NI

Nick Ivanych in Теория категорий
Vasiliy Yorkin
А, она с канала catsters вроде? Хм, или нет
Да, это она.
источник
16:17пожаловаться#4

AG

Alex Gryzlov in Теория категорий
https://github.com/statebox/awesome-applied-category-theory
GitHub
statebox/awesome-applied-ct
ACT community resources. Contribute to statebox/awesome-applied-ct development by creating an account on GitHub.
источник
21:07пожаловаться#5
2019 October 03

ЕО

Евгений Омельченко in Теория категорий
Извиняюсь за оффтоп -- кто-нибудь Arend смотрел? За счёт чего у них там HoTT? Кубические типы или своё что-нибудь?
источник
13:50пожаловаться#6

NI

Nick Ivanych in Теория категорий
Там основная суть — интервальный тип.
Я не знаю, где новая версия документашки, но старая у меня есть.
Там какие-то мелкие косяки, говорят.
Но идею передаёт вполне.
источник
13:52пожаловаться#7

NI

Nick Ivanych in Теория категорий
HomotopyTypeTheoryWithAnIntervalType_Isaev.pdf
(203.73 Кб)
источник
13:52пожаловаться#8

NI

Nick Ivanych in Теория категорий
Это не совсем кубические типы.
источник
13:52пожаловаться#9

VY

Vasiliy Yorkin in Теория категорий
вот пост на хабре появился ещё про аренд https://habr.com/ru/company/JetBrains-education/blog/469569/, видимо будет продолжение
источник
13:53пожаловаться#10

ЕО

Евгений Омельченко in Теория категорий
Vasiliy Yorkin
вот пост на хабре появился ещё про аренд https://habr.com/ru/company/JetBrains-education/blog/469569/, видимо будет продолжение
Ну я пост увидел, поэтому и спросил :)
источник
13:56пожаловаться#11

V

Valery in Теория категорий
Евгений Омельченко
Извиняюсь за оффтоп -- кто-нибудь Arend смотрел? За счёт чего у них там HoTT? Кубические типы или своё что-нибудь?
Формально это не совсем кубическая ТТ, но идея очень похожая.
источник
13:58пожаловаться#12

V

Valery in Теория категорий
Nick Ivanych
Там основная суть — интервальный тип.
Я не знаю, где новая версия документашки, но старая у меня есть.
Там какие-то мелкие косяки, говорят.
Но идею передаёт вполне.
Там только для унивалентности есть лишнее правило, которое не нужно. В остальном всё ок.
источник
13:59пожаловаться#13

NI

Nick Ivanych in Теория категорий
Пасиб!
источник
14:02пожаловаться#14
2019 October 05

AZ

Alex Zhukovsky in Теория категорий
The functor category between categories 𝐂 and 𝐃 is written as 𝐅𝐮𝐧(𝐂, 𝐃), or [𝐂, 𝐃]
источник
19:29пожаловаться#15

AZ

Alex Zhukovsky in Теория категорий
Что значит "категория между категориями"?
источник
19:30пожаловаться#16

AZ

Alex Zhukovsky in Теория категорий
я чет запутался слегка
источник
19:30пожаловаться#17

O

Orbarax in Теория категорий
категория функторов между категориями?
источник
19:30пожаловаться#18

AZ

Alex Zhukovsky in Теория категорий
все равно смысла мало
источник
19:30пожаловаться#19

AZ

Alex Zhukovsky in Теория категорий
функтор делает a -> F a
источник
19:30пожаловаться#20