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

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

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

Джерела

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.