Álgebra heterogénea
- Soliveres Tur, Juan Carlos
- Joan B. Climent Vidal Director/a
Universidad de defensa: Universitat de València
Fecha de defensa: 20 de enero de 2000
- María Alpuente Frasnedo Presidente/a
- Germán Vidal Oriola Secretario/a
- Josep Maria Font Llobet Vocal
- Buenaventura Verdú Solans Vocal
- Manuel Bullejos Lorenzo Vocal
Tipo: Tesis
Resumen
Este trabajo está dedicado al estudio de la heterogeneidad en contextos algebraicos,En él se investigan categorías de álgebras heterogéneas, tanto las realtivas a una signatura fija como variable, así como sus contrapartidas invariantes en la teoría de mónadas. Se estudian los coneptos de derivors y morfismo en Fujiwara para las signaturas algebraicas heterogéneas y se introduce una estructura bidimensional en las categorías de signaturas. Términos y álgebras heterogéneas a través de la noción de deformación entre morfismos de Fujiwara. En la parte dedicada a la teoría de mónadas se definen ciertas 2-categorías de mónadas y adjunciones cuyas 2-células generalizan, en el caso de los morfismos de mónadas a los considerados habitualmente en la literatura.