Catégories de Möbius et fonctorialités: un cadre général pour l'inversion de Möbius

This paper proposes a general setting for Möbius inversion which includes the cases of locally finite partially ordered sets and monoids with the finite decomposition property (f.d.p.). The unifying concept is that of categories with the f.d.p., called Möbius categories, which we characterize in four different ways. The established theory of incidence algebras, Möbius functions, product formulas, reduced algebras, etc., is carried over. Furthermore, the study of functors between Möbius categories yields results in two directions: firstly, inspired from the substitution of formal power series is the construction of a homomorphism between incidence algebras which allows the transfer of Möbius inversions; secondly, surjective functors often give rise to a reduced incidence algebra, thus shedding new light on many important reduced algebras in combinatorial theory.