Re: Где вы посоветуете опубликовать?

Я думаю, сейчас катастрофически не хватает "более прикладного стиля изложения" материалов по теории категорий. Эту теорию нужно срочно демифологизировать. Я думаю, что мы могли бы сделать он-лайн семинар в рамках .15926 по семантическим/онтологическим приложениям теории категорий. Фреймы и типы, безусловно, находятся в этой сфере.