Сагайдак (математика)

У математиці сагайдак — орієнтований граф, в якому допускаються цикли і множинні стрілки між двома вершинами, тобто мультиграф. Це поняття зазвичай використовуються в теорії зображень: представлення $V$ сагайдака призначає векторний простір $V(x)$ кожній вершині $x$ сагайдака і лінійне відображення $V(a)$ кожній стрілці $a$.

У теорії категорій під сагайдаком розуміють структуру, що лежить в основі категорії, але без складу або позначення морфізма ідентичності. Тобто забуваючий функтор від $Cat$ до $Quiv$. Його лівий спряжений є вільним функтором, який з сагайдака створює відповідну вільну категорію.

Джерела

• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation. Errata.
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• 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 Шаблон:Iw