С LtU.

[thesz]

Physics, Topology, Logic and Computation: A Rosetta Stone

Свели всё вместе.

Интересно.

Comments

[cp_poster]

Ага, тоже наткнулся. Совсем ничего не знаю о CT, потому такой вопрос: на 8-й странице в качестве иллюстрации категории нарисовано f: X -> Y с такой шапочкой. Почему этот кусок Y manifold'a никак не связан с X manifold'ом? Эта "шапочка" всё ещё считается частью морфизма?

Прощу прощения, если термины не правильно использую.

[thesz]

Если бы я мог помочь... ;)

Разве, что отправить к deniok. ;)

[cp_poster]

Слишком много религии :-)

кто-то ест дефисы в этом ЖЖ

[nealar]

А у deni-ok?

Re: кто-то ест дефисы в этом ЖЖ

[thesz]

Это я путаю с RSDN-вским ником.

[thesz]

deni_ok, действительно. ;)

[helvegr]

X и Y это (n-1)-мерные многообразия (здесь - некоторый набор кругов на плоскости). X это один кружок на плоскости, а Y - два. f : X -> Y это кобордизм - n-мерное многообразие с границей (трубочка и шапочка на иллюстрации). Границей служит X (кружочек сверху) и Y (два кружочка снизу). Дальше он показывает, как очевидным образом делать композицию кобордизмов.

Я в этом не разбираюсь, просто перевёл, что написано.