Provotar, O., і O. Ilkun. Категорії як формальні моделі обчислень. ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, no 37, June 2023, pp 98-02, http://www.fmmit.lviv.ua/index.php/fmmit/article/view/313.