У математиці сагайдак — орієнтований граф, в якому допускаються цикли і множинні стрілки між двома вершинами, тобто мультиграф. Це поняття зазвичай використовуються в теорії зображень: представлення сагайдака призначає векторний простір кожній вершині сагайдака і лінійне відображення кожній стрілці .
У теорії категорій під сагайдаком розуміють структуру, що лежить в основі категорії, але без складу або позначення морфізма ідентичності. Тобто забуваючий функтор від до . Його лівий спряжений є вільним функтором, який з сагайдака створює відповідну вільну категорію.
Джерела
. Errata.
Bernšteĭn, I. N.; Gelʹfand, I. M.; Ponomarev, V. A., "Coxeter functors, and Gabriel's theorem" (Russian), Uspekhi Mat. Nauk 28 (1973), no. 2(170), 19–33. Translation on Bernstein's website. Quiver in