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