Oℕ
Я бы, может, вернулся, если что-нибудь полезное делал
Нам всем тоже предлагаешь покинуть?
Size: a a a
2019 June 19
ЕО
Это индивидуальный выбор же
Oℕ
Если там будет чат людей, которые делают что-то полезное на завтипах, это будет чатик 5 человек
ЕО
Ну просто есть темы, которые мне интересны даже не смотря на наличие/отсутствие практики, а есть какие-то менее интересные темы в более практическом ключе
AT
Если там будет чат людей, которые делают что-то полезное на завтипах, это будет чатик 5 человек
а если еще отделить людей, которые только используют завтипы, а не метатеорией занимаются, то сколько останется?
ЕО
А что плохого в метатеории? Во многом завтипы это про определённый уровень формализма
AT
А что плохого в метатеории? Во многом завтипы это про определённый уровень формализма
я ж в хорошем смысле))
Oℕ
Ну там иногда какие-то свежие штуки обсуждают, вон Куклев написал, что "2019 богат на хотт пруверы, жаль, что Воеводский не дожил."
Не будешь же спорить, что хотт пруверы- интересная тема, даже в контексте теорката
Не будешь же спорить, что хотт пруверы- интересная тема, даже в контексте теорката
AT
я лично в основном внутри работаю, поэтому максимум 4 человека останется)
ЕО
Короче говоря попытки зазвать меня в завтиповой чат это оффтоп :)
Oℕ
эхх
к
Я читал книгу бартошика
Тогда интуиция про морфизмы-функции должна была отвалиться на примере с предпорядками
ЕО
Мне так и не объяснили в чём проблема с этой интуицией :)
P
Мне так и не объяснили в чём проблема с этой интуицией :)
Отношение порядка — не функция?
lg
интуиция на то и интуиция
Oℕ
Отношение порядка — не функция?
Ну как обсуждалось до этого можно построить фэйтфул и станет подкатегорией множеств и функций
ЕО
Отношение порядка — не функция?
Функция, конечно. f(a_A) = a_B
к
А как же a_C и далее?
PG
А какого порядка?
ЕО
А как же a_C и далее?
Ну очевидно, что для эти инъекции транзиктивны :)