А неизвестно почему категории моделей некоторых скетчей естественным образом имеют структуру 2-категории? (в смысле есть ли строгие утверждения на эту тему)