В математике отображение одной категории в другую согласованное со структурой категории: поиск слов по маске и определению