Категорії як формальні моделі обчислень - Provotar, Oleksandr; Ilkun, Oleksandr (ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, 2023)