С 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?