Без заголовка

Ваша идея мультипарадигмальности тоже очень четко ложится в теорию n-категорий. А именно, мы работаем с категорией Par парадигм и ищем удобные морфизмы из одной парадигмы в другую. Однако проблема в том, что часто такие морфизмы существуют лишь "с точностью до". Вот для того, чтобы выразить это "с точностью до" и вводятся n-категории. Даже я скажу так, наиболее интересные связи между парадигмами будут найдены лишь если воспринимать Par как 2-категорию (т.е. не менее чем 2). Иными словами, нужны будут преобразования между преобразованиями.