Язык категорий и функторов как архетип количественного и динамического описания мирастатья