Группы и теория гомотопий (трэш трейлер)

(10x thedeemon)

А я должен сознаться, что из этих картинок с точными последовательностями наконец-то вынес, шо це за параша, группы гомологий. Когда учился, откровенно не понимал, что это и зачем.

Так что спасибо; все на самом деле не так уж сложно оказалось.

мы за мир, но не в том смысле

http://free-voina.org/post/83623640758

"…группа Война занимает по Крыму принципиально иную, противоположную позицию. Мы счастливы, что Крым присоединился к России, и рады за крымчан. Я так просто горжусь страной, впервые за долгое время.

Это не все. Я годами твердил о непрофессионализме либеральных СМИ — а «Ленты.ру» и «Дождя» в особенности. Я не раз приводил их как пример проституизации, вплоть до гуманитарной катастрофы, в российской прессе. И я приветствовал наконец их запоздалое ужимание."

Запоздалое ужимание, вплоть до гуманитарной катастрофы.

Я вот уже жду чего-то такого и от сами знаете кого; они как-то странно попритихли обе.

кратенько про фашизм

"я: мама, фашизм у нас, кончай смотреть телевизор, пожалуйста
------------------------


((( и так у всех."

(цитата из жж)

what I had for lunch today

today's bacat meetup

http://www.meetup.com/Bay-Area-Categories-And-Types/events/174846952/

Slides not published yet

In short, pretty neat formalization of "always", "until", "since" in logic. Via fixpoints.

The problem is, I asked Valeria whether it can be equivalently interpreted in a Grothendieck topos over, say, ℕ; she said, well, it's like using cannons against flies.

But for me, it's rather way more natural than having pervert sex with alternative quantifiers.

Anyways, I probably have to prepare a series of talks on topos logic. No big deal actually.

But so far, next time Valeria will be talking on S4.