Рациональное образование, база знаний и язык теории категорий при реализации обучающей системыдоклад на конференции