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.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados