Size: a a a

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

2018 August 27

P

Proof: in Теория категорий
источник

P

Proof: in Теория категорий
источник

P

Proof: in Теория категорий
источник

P

Proof: in Теория категорий
источник

P

Proof: in Теория категорий
источник

P

Proof: in Теория категорий
источник

AN

Aλexander Nihirash in Теория категорий
ОО) норм, будет что почитать
источник

P

Proof: in Теория категорий
В остальных учебниках нужно знать какую-то базу, насколько я помню
источник

P

Proof: in Теория категорий
В Постникове том же
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Лучше бы пиннед дополнили. Я собственно за ним отправил
источник

P

Proof: in Теория категорий
Вот здесь был неплохой экскурс в теоркат в начале
источник

I

Igor in Теория категорий
Andreλ
Помогите, как начать понимать о чём здесь говорят?
Посмотри лекции Брагилевского на youtube
источник

A

Andreλ in Теория категорий
Igor
Посмотри лекции Брагилевского на youtube
Точно, про него то я и забыл
источник
2018 August 29

s

southern accent in Теория категорий
Спасибо Арсений
источник

A

Alexander in Теория категорий
А можно вот это всё в шапку унести? Просто собираю на будущее, но когда под руку попадается.
источник
2018 August 31

к

кана in Теория категорий
источник

к

кана in Теория категорий
третья страница
источник

к

кана in Теория категорий
источник

к

кана in Теория категорий
зачем вообще нужен этот гдвард?
источник

к

кана in Теория категорий
Возможная идея - это такой механизм элиминирования предикатов (типа ифа), чтобы получить две ветки, где в каждой ветке будет аргумент предиката
источник