The HoTT Book

[nivanych]

http://homotopytypetheory.org/book/
http://homotopytypetheory.org/2013/06/20/the-hott-book/
http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html

Comments

[kurilka]

в жуйке мне никто не ответил, поэтому спрошу ещё и тебя - а простым смертным стоит грызть сей гранит, или оно сильно для математиков?

[nivanych]

Первая мысль - стоит, конечно, штуки интересные.
В зависимости от своих знаний - что-нибудь, да поймёшь хорошего ;-)
А вообще, я ещё книжку не смотрел ;-)
Ннуу, (∞,1)-категорная сущность этих вещей мне понятна, подробно разбираться буду потом.
Завтра, как минимум, просмотрю книжку.
И что-то сюда тебе напишу.

[kurilka]

заранее спасибо

[nivanych]

Посмотрел. Неплохо, чисто написано.
Я бы даже сказал, что по бОльшей части, книжка философская ;-)
Материалы похожи на переработанные статьи с ncatlab.

[maxmornev]

Вау! Офигенно!

Срочно надо купить и прочитать.

[nivanych]

Я пока так посмотрю.
Особенного удобства в бумажных книжках (при наличии удобного девайса) не вижу.
И авторов ты тут, судя по всему, не поддержишь.

[maxmornev]

> И авторов ты тут, судя по всему, не поддержишь.

Погоди, они же на lulu, а lulu платит авторские с каждого экземпляра
(насколько помню: авторы сами выбирают цену, к которой lulu добавляет
комиссию за услуги и печать).

> Особенного удобства в бумажных книжках (при наличии удобного девайса)
> не вижу.

Согласен полностью. Бумажные книжки --- это сладостная перверсия для
эстетов. Я их именно из этих соображений собираю. И, кроме того,
электронная книга все равно нужна для поиска.

[nivanych]

> lulu платит авторские с каждого экземпляра

Лучше бы было просто "donate авторов", без этих самых ;-)

Не, ну некоторая прелесть в бумажной книжке, конечно, есть.
Мы ж не роботы, зачем нам это субъективно приятное от себя отталкивать.

[swamp_agr]

Огонь, респект!
Надо ачивку эту забить.