Pierce sheaf for semirings with involution

We introduce the concept of Pierce sheaf for semirings with involution, an analog of Pierce sheaf for rings. We construct maximal spectrum, Pierce congruence, Pierce sheaf of semirings with involution, Pierce stalk of semiring with involution. We prove main theorem on the isomorphism of semiring with involution and semiring with involution of global sections of Pierce sheaf.