Size: a a a

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

2018 November 16

P

Proof: in Теория категорий
Nick Ivanych
Приходишь и просишь.
У них свободные аудитории есть.
Смысла отказывать нет, если это свободно для посещения и к математике имеет отношение.
Вот да, а тебе почему не удалось?
источник

NI

Nick Ivanych in Теория категорий
Proof:
Вот да, а тебе почему не удалось?
Я с ними и не пытался говорить, просто по чатику сказал, что давайте, но только надо, чтоб кроме меня ещё кто-то был. Никому не надо было.
Вроде бы, по типазависимому чатегу.
источник

P

Proof: in Теория категорий
Nick Ivanych
Я с ними и не пытался говорить, просто по чатику сказал, что давайте, но только надо, чтоб кроме меня ещё кто-то был. Никому не надо было.
Вроде бы, по типазависимому чатегу.
Ну мне кажется, что желающих сейчас будет целый вагон на такой семинар
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Nick Ivanych
Я с ними и не пытался говорить, просто по чатику сказал, что давайте, но только надо, чтоб кроме меня ещё кто-то был. Никому не надо было.
Вроде бы, по типазависимому чатегу.
охххх это когда такое было?
источник

NI

Nick Ivanych in Теория категорий
Oleg ℕizhnik
охххх это когда такое было?
Чуть больше года назад, если я правильно помню.
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Мне кажется, мы были глупые и не осознавали ещё, насколько нам это нужно
источник

NI

Nick Ivanych in Теория категорий
Ну так давайте замутим, чо.
Я скоро освобождаюсь, могу взять на себя придти и поговорить с учебной частью в НМУ.
источник

NI

Nick Ivanych in Теория категорий
Если тут есть оттуда какой "инсайдер", так совсем хорошо, пусть и он/она словечко замолвит.
источник

P

Proof: in Теория категорий
Nick Ivanych
Если тут есть оттуда какой "инсайдер", так совсем хорошо, пусть и он/она словечко замолвит.
Мне кажется, что @medvednikita может подсказать, что и как
источник

NI

Nick Ivanych in Теория категорий
Proof:
Мне кажется, что @medvednikita может подсказать, что и как
Обращусь к нему чуть попожжа.
источник

NI

Nick Ivanych in Теория категорий
Ну то есть, я всё, договариваюсь?
Хотябы три человека-то найдётся? ;-)
источник

АТ

Алексей Троицкий in Теория категорий
Nick Ivanych
Ну то есть, я всё, договариваюсь?
Хотябы три человека-то найдётся? ;-)
Да :) Я +
источник

DR

Denis Redozubov in Теория категорий
Nick Ivanych
Ну то есть, я всё, договариваюсь?
Хотябы три человека-то найдётся? ;-)
я только за
источник

P

Proof: in Теория категорий
Nick Ivanych
Ну то есть, я всё, договариваюсь?
Хотябы три человека-то найдётся? ;-)
Могу закинуть инфу в чат НМУ
источник

NI

Nick Ivanych in Теория категорий
Надо как-то "название", что ли...
Типа категории с уклоном в IT...
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Categories for the Working Govnocoder
источник

(

( in Теория категорий
Дисфункциональное Программирование
источник

NI

Nick Ivanych in Теория категорий
Oleg ℕizhnik
Categories for the Working Govnocoder
"Govnocoder" - и тут Go!!
источник

ND

Nikita Danilov in Теория категорий
Proof:
У меня тут вопрос тупой возник, но если думать про каждую категорию как про просто граф, то ведь можно посчитать гомологии Н_0, Н_1 категории, да? Эта мысль куда-нибудь ведет?
Да, см. "нерв категории".
источник

NI

Nick Ivanych in Теория категорий
Nikita Danilov
Да, см. "нерв категории".
А какой нерв? Глобулярный или кубический?
источник