Dialgebra

En álgebra abstracta , una dialgebra es la generalización tanto del álgebra como de la coalgebra . La noción fue introducida originalmente por Lambek como "subecualizadores" ^{[ 1 ]}^{[ 2 ]} y denominada dialgebras por Tatsuya Hagino ^{[ 3 ]}^{[ 2 ]} . Muchas nociones algebraicas se han generalizado previamente a dialgebras ^{[ 4 ]} . La dialgebra también intenta obtener álgebras de Lie a partir de álgebras asociadas ^{[ 5 ] .}

Véase también

Álgebra F

Referencias

↑ Lambek, Joachim (1970). "Subecualizadores". Boletín Matemático Canadiense . 13 (3): 337– 349. doi : 10.4153/CMB-1970-065-6 . MR 0274552 .
1 2 Backhouse, Roland; Hoogendijk, Paul (1999). "Dialgebras finales: de categorías a alegorías" (PDF) . RAIRO Theoretical Informatics and Applications . 33 ( 4–5 ): 401–426 . doi : 10.1051/ita:1999126 . MR 1748664 .
↑ Hagino, Tatsuya (1987). "Un cálculo lambda tipado con constructores de tipos categóricos". En Pitt, David H.; Poigné, Axel; Rydeheard, David E. (eds.). Teoría de categorías y ciencias de la computación, Edimburgo, Reino Unido, 7-9 de septiembre de 1987, Actas . Lecture Notes in Computer Science . Vol. 283. Springer. pp. 140-157 . doi : 10.1007/3-540-18508-9_24 . ISBN 978-3-540-18508-6.
↑ Poll, Erik; Zwanenburg, Jan (2001). "De álgebras y coalgebras a dialgebras" (PDF) . En Corradini, Andrea; Lenisa, Marina; Montanari, Ugo (eds.). Métodos Coalgebraicos en Ciencias de la Computación, CMCS 2001, un evento satélite de ETAPS 2001, Génova, Italia, 6-7 de abril de 2001. Notas Electrónicas en Ciencias de la Computación Teórica . Vol. 44 (1.ª ed.). Elsevier. págs. 289-307 . doi : 10.1016/S1571-0661(04)80915-0 . hdl : 2066/19049 .
^ Loday, Jean-Louis (2001). "Dialgebras". En Loday, Jean-Louis; Chapotón, Frédéric; Frabetti, Alessandra; Goichot, François (eds.). Dialgebras y operaciones relacionadas . Apuntes de conferencias de matemáticas . vol. 1763. Saltador. págs. 7– 66. doi : 10.1007/3-540-45328-8_2 . ISBN 3-540-42194-7. SEÑOR 1860994 . Zbl 0999.17002 .

Lecturas adicionales

dialgebra en nLab

[1] Lambek, Joachim (1970). "Subecualizadores". Boletín Matemático Canadiense . 13 (3): 337– 349. doi : 10.4153/CMB-1970-065-6 . MR 0274552 .

[bh-2] 1 2 Backhouse, Roland; Hoogendijk, Paul (1999). "Dialgebras finales: de categorías a alegorías" (PDF) . RAIRO Theoretical Informatics and Applications . 33 ( 4–5 ): 401–426 . doi : 10.1051/ita:1999126 . MR 1748664 .

[3] Hagino, Tatsuya (1987). "Un cálculo lambda tipado con constructores de tipos categóricos". En Pitt, David H.; Poigné, Axel; Rydeheard, David E. (eds.). Teoría de categorías y ciencias de la computación, Edimburgo, Reino Unido, 7-9 de septiembre de 1987, Actas . Lecture Notes in Computer Science . Vol. 283. Springer. pp. 140-157 . doi : 10.1007/3-540-18508-9_24 . ISBN 978-3-540-18508-6.

[4] Poll, Erik; Zwanenburg, Jan (2001). "De álgebras y coalgebras a dialgebras" (PDF) . En Corradini, Andrea; Lenisa, Marina; Montanari, Ugo (eds.). Métodos Coalgebraicos en Ciencias de la Computación, CMCS 2001, un evento satélite de ETAPS 2001, Génova, Italia, 6-7 de abril de 2001. Notas Electrónicas en Ciencias de la Computación Teórica . Vol. 44 (1.ª ed.). Elsevier. págs. 289-307 . doi : 10.1016/S1571-0661(04)80915-0 . hdl : 2066/19049 .

[5] Loday, Jean-Louis (2001). "Dialgebras". En Loday, Jean-Louis; Chapotón, Frédéric; Frabetti, Alessandra; Goichot, François (eds.). Dialgebras y operaciones relacionadas . Apuntes de conferencias de matemáticas . vol. 1763. Saltador. págs. 7– 66. doi : 10.1007/3-540-45328-8_2 . ISBN 3-540-42194-7. SEÑOR 1860994 . Zbl 0999.17002 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ] .