pi in cats

[juan_gandhi]

A 2-Categorical Approach to the Pi Calculus

Posted by John Baez, but actually written by Mike Stay, but actually in cooperation with Greg Meredith

Comments

[zeit-raffer.livejournal.com]

Идея представлять редукции и прочие переписывания 2-морфизмами вместо равенств носится в воздухе, вопрос в том, что никто, похоже, не пользовался полученными 2-категориями, чтобы в них что-то доказывать или определять. И непонятно, насколько это удобно.

[66george.livejournal.com]

А куда делся Антон Салихметов (codedot)? Я поискал гуглом, нашёл только его vk, который тоже не обновлялся несколько лет.

[zeit-raffer.livejournal.com]

Понятия не имею. А писать в его ЖЖ или ВК пробовали?

[zeit-raffer.livejournal.com]

тут есть его мыло:
http://codedot.github.io/
https://github.com/codedot

[juan_gandhi]

Он умер.