Значення
-
У математиці, зокрема в теорії категорій: функтор, значенням якого для кожного об’єкта та морфізму вихідної категорії є підоб’єкт або підморфізм відповідно в категорії-образі, що узгоджено з композицією та тотожними морфізмами.
-
У програмуванні та інформатиці: функція або метод, який викликається всередині іншої функції (зовнішнього функтора) для виконання допоміжної, часткової задачі в рамках загального алгоритму.
Правопис та відмінювання
Граматичні форми:
н. підфунктор, р. підфунктора, д. підфункторові, з. підфунктор, о. підфунктором, м. підфункторі, к. підфункторе