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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

584 membersпожаловаться на группу
2020 July 03

AK

Antony Kapranov in Теория категорий
Nick Ivanych
Категория с одним объектом.
В категории с И морфизмы { И 1 (id), И 0 }.
В категории с ИЛИ морфизмы { ИЛИ 1, ИЛИ 0 (id)}.

объект в них один и тот же, но в них же нет одинаковых морфизмов?
источник
16:16пожаловаться#1

AK

Antony Kapranov in Теория категорий
Или ошибка в том, что я называю «одним и тем же морфизмом»? Я имел в виду равенство элементов как теории множеств, что это два одинаковых элемента разных Hom(a, a)
источник
16:20пожаловаться#2

к

кана in Теория категорий
Antony Kapranov
В категории с И морфизмы { И 1 (id), И 0 }.
В категории с ИЛИ морфизмы { ИЛИ 1, ИЛИ 0 (id)}.

объект в них один и тот же, но в них же нет одинаковых морфизмов?
есть же одинаковые морфизмы,
и 1 = или 0

ну ладно, что такое одинаковые морфизмы мне тоже неясно, вроде бы формально это все таки разные морфизмы, хоть зависит от того как мы это сформулируем
источник
16:31пожаловаться#3

AK

Antony Kapranov in Теория категорий
Я рассуждал в рамках подкатегорий. Там в определении под тожесамостью подразумеваются одинаковые элементы из Hom
источник
16:43пожаловаться#4

Oℕ

Oleg ℕizhnik in Теория категорий
Antony Kapranov
В категории с И морфизмы { И 1 (id), И 0 }.
В категории с ИЛИ морфизмы { ИЛИ 1, ИЛИ 0 (id)}.

объект в них один и тот же, но в них же нет одинаковых морфизмов?
Морфизмы в них это true и false
источник
17:19пожаловаться#5

Oℕ

Oleg ℕizhnik in Теория категорий
И и и ИЛИ - это операции композиции этих морфизмов
источник
17:19пожаловаться#6

Oℕ

Oleg ℕizhnik in Теория категорий
в первой категории x ∘ y = x || y, во второй x ∘ y = x && y
источник
17:20пожаловаться#7

AK

Antony Kapranov in Теория категорий
Oleg ℕizhnik
Морфизмы в них это true и false
А объект что тогда? Не Bool?
источник
17:20пожаловаться#8

Oℕ

Oleg ℕizhnik in Теория категорий
Antony Kapranov
А объект что тогда? Не Bool?
Объект один, можете назвать его Bool, можете никак не называть. Когда он один, названий не требуется
источник
17:20пожаловаться#9

Oℕ

Oleg ℕizhnik in Теория категорий
давайте назовём его *
источник
17:21пожаловаться#10

Oℕ

Oleg ℕizhnik in Теория категорий
{2} - множество мощности 2, т.е. Bool
источник
17:21пожаловаться#11

Oℕ

Oleg ℕizhnik in Теория категорий
Hom(*, *) = {2}
источник
17:21пожаловаться#12

AK

Antony Kapranov in Теория категорий
Вроде, понял: false получается id в ИЛИ, а true получается id в И
источник
17:34пожаловаться#13

AK

Antony Kapranov in Теория категорий
Спасибо!
источник
17:34пожаловаться#14

Oℕ

Oleg ℕizhnik in Теория категорий
https://twitter.com/n_category/status/1279142334190489601
Twitter
Matthew Kukla
“Is Top ≃ ∞-Grpd” - the greatest thread in the history of nForum, locked by a moderator after 12,239 pages of heated debate,
источник
23:15пожаловаться#15

AG

Alex Gryzlov in Теория категорий
TYT.BCE.HACPEM
источник
23:16пожаловаться#16

MM

Michael Merino in Теория категорий
Alex Gryzlov
TYT.BCE.HACPEM
Олдфаги в чате
источник
23:52пожаловаться#17
2020 July 05

ЮБ

Юрий Богомолов... in Теория категорий
Сегодня в 9 по Мск доклад Эмили Риль «The Yoneda lemma in the category of matrices»: https://twitter.com/emilyriehl/status/1279808186891952128
В зуме митап уже идет, сейчас заканчивается доклад про струнные диаграммы: https://mit.zoom.us/j/7055345747
Twitter
Emily Riehl
Today at 2pm EDT/6pm UTC I'll be giving a tutorial talk entitled "The Yoneda lemma in the category of matrices" as part of Applied Category Theory 2020 Tutorial Day: https://t.co/cqjm8MVkfm Spoilers follow.
источник
19:16пожаловаться#18

ЗП

Зигохистоморфный Пре... in Теория категорий
Категория матриц?!
источник
20:35пожаловаться#19

A

Andrey in Теория категорий
Скелет категории конечномерных векторных пространств, видимо
источник
20:37пожаловаться#20