Fibration of Signatures

Following Categorical Logic and Type Theory, the fibration of signatures is the Pullback of the Family Fibration along the functor $X\mapsto X^{*}\times X$.