Диалалгебра
В абстрактной алгебре диалгебра так является обобщением как алгебры, и коалгебры . Первоначально это понятие было введено Ламбеком как «суквалайзеры». [1] [2] и названы Тацуей Хагино диалгебрами. [3] [2] Многие алгебраические понятия ранее были обобщены на диалгебры. [4] Диалалгебра также пытается получить алгебры Ли из ассоциированных алгебр. [5]
См. также [ править ]
Ссылки [ править ]
- ^ Ламбек, Иоахим (1970). «Субэквалайзеры». Канадский математический бюллетень . 13 : 337–349. дои : 10.4153/CMB-1970-065-6 . МР 0274552 .
- ^ Jump up to: а б Бэкхаус, Роланд; Хугендейк, Пол (1999). «Окончательные диалгебры: от категорий к аллегориям» (PDF) . РАЙРО Теоретическая информатика и приложения . 33 (4–5): 401–426. дои : 10.1051/ita:1999126 . МР 1748664 .
- ^ Хагино, Тацуя (1987). «Типизированное лямбда-исчисление с конструкторами категориальных типов». В Питте, Дэвид Х.; Пуанье, Аксель; Райдхард, Дэвид Э. (ред.). Теория категорий и информатика, Эдинбург, Великобритания, 7–9 сентября 1987 г., Труды . Конспекты лекций по информатике. Том. 283. Спрингер. стр. 140–157. дои : 10.1007/3-540-18508-9_24 .
- ^ Полл, Эрик; Званенбург, январь (2001). «От алгебр и коалгебр к диалгебрам» (PDF) . В Коррадини, Андреа; Лениса, Марина; Монтанари, Уго (ред.). Коалгебраические методы в информатике, CMCS 2001, сателлитное мероприятие ETAPS 2001, Генуя, Италия, 6–7 апреля 2001 г. Электронные заметки по теоретической информатике. Том. 44 (1-е изд.). Эльзевир. стр. 289–307. дои : 10.1016/S1571-0661(04)80915-0 . hdl : 2066/19049 .
- ^ Лоде, Жан-Луи (2001). «Диалгебры». В Лоде, Жан-Луи; Чапотон, Фредерик; Фрабетти, Алессандра; Гойшо, Франсуа (ред.). Диалалгебры и родственные им операды . Конспект лекций по математике. Том. 1763. Спрингер. стр. 7–66. дои : 10.1007/3-540-45328-8_2 . ISBN 3-540-42194-7 . МР 1860994 . Збл 0999.17002 .
Дальнейшее чтение [ править ]
 | Эта алгеброй статья, связанная с , незавершена . Вы можете помочь Википедии, расширив ее . |