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

Пустовато получается и с теорией категорий. И со всем остальным подобным. Более того, даже с традиционными классами классов-классами-индивидами тоже пустовато. Решение онтологи сейчас рассматривают в том, чтобы убрать ручную разметку предметных обрастей и как-то (чудом?!) присобачить сбоку (от чего сбоку?) автомагическое создание онтологий, используя deep learning и разный другой soft computing. Но это не решает задач нахождения foundational ontology (о которой мы говорим), плавно перетекающей в upper ontology. Тут остаётся полная беда. Рома Михайловский с алгебраическими гомотопиями пытается тут заходить со стороны лингвистики и восприятия мира с его многочисленными объектами как как текста (плюс "гирлянды языков"), но там для простых людей всё может оказаться более чем непросто.