However, the signatures considered in this article do not include the identity function, so axiomatiations for algebras different to those considered in [1]} may be obtained. Instead, we start with an arbitrary left restriction semigroup \((A,\cdot , D)\) , possibly without identity, and represent its derived 1-stack using \(\Phi \)  as in Proposition REF .
