Стандартная рекомендация — книжка Бартоша Милевски (Category Theory for Programmers или как-то так, помнится, есть русский перевод). Если "техническое образование" включало мат. логику, "Топосы: категорный анализ логики" должна нормально зайти. Ещё для кругозора есть введение в Applied Category Theory (да, есть и такое! 😃): "Seven sketches in compositionality". Последняя хороша примерами почти "из жизни", но прям разбора с нуля что такое категории-функторы-естественные-преобразования и какие они бывают я не помню.

> Топосы: категорный анализ логики

Это Голдблатт?

Да, он. Забыл фамилию... 😅

Я дочитал до коконусов лет 7 назад, кекнул и закрыл

А я даже до них не дошёл... 😅🙊😞

Yeah sure totally agree... 🙈😂

Основные методы нисходящего анализа - я написал эти:
•Метод рекурсивного спуска
•Предиктивный синтаксический анализ

Основные методы восходящего анализа -
я так понимаю shift-reduce, а ещё?

поправьте, пожалуйста, если не прав😬

ага...

А предиктивный разве не бывает восходящим?

Я не уверен, что такое термин вообще до Вас был

А понятие  интерпретатора синтаксических анализаторов вообще существует или нет?

русскоязычные запросы ничего не дают. А англ версия говорит что существуют  и основной из них это PEG

PEG - это спуск

Всё что я могу сказать

это я тоже читал. но чет англоязычные источники меня путают)

Нет, чтобы что-то нормальное порекомендовать, хотя бы Basic Category Theory.

(хотя seven sketches и what is applied category theory хороши)

Чем богаты. 🤷‍♀️

Для PEG иногда делают транслятор в байткод, который потом иннтерпретируют. Например, так LPeg работает