Insertion of languages and differential semirings

The family of languages with addition or union and catenation as operations is a semiring with a partial order making it a semireticulated semigroup or gerbier. Furthermore, the operation of insertion of languages has properties similar to those related to the derivation of sum and product of functions. This suggests considering semirings and in particular gerbiers having some kind of abstract derivation. The investigation of these algebraic structures called differential semirings and gerbiers is the object of this paper.