The Hopf algebra of Möbius intervals

• Autores: Lawvere, F. W.; Menni, Matías
• Año de publicación: 2010
• Idioma: inglés
• Tipo de recurso: artículo
• Materia: Mobius category; Incidence algebra
• Institución: Consejo Nacional de Investigaciones Científicas y Técnicas

An unpublished result by the first author states that there exists a Hopf algebra H such that for any Moebius category C (in the sense of Leroux) there exists a canonical algebra morphism from the dual H* of H to the incidence algebra of C. Moreover, the Moebius inversion principle in incidence algebras follows from a `master´ inversion result in H*. The underlying module of H was originally defined as the free module on the set of iso classes of Moebius intervals, i.e. Moebius categories with initial and terminal objects. Here we consider a category of Moebius intervals and construct the Hopf algebra via the objective approach applied to a monoidal extensive category of combinatorial objects, with the values in appropriate rings being abstracted from combinatorial functors on the objects. The explicit consideration of a category of Moebius intervals leads also to two new characterizations of Moebius categories.
Fil: Lawvere, F. W.. No especifíca;
Fil: Menni, Matías. Ministerio de Educación, Cultura, Ciencia y Tecnología. Secretaria de Gobierno de Ciencia Tecnología e Innovación Productiva. Agencia Nacional de Promoción Científica y Tecnológica. Fondo Argentino Sectorial; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina