ANNALES DE LA FACULTÉ DES SCIENCES DE TOULOUSE, cilt.33, 2025 (Hakemli Dergi)
In this paper, we formally define the concept of shifted contact structures on derived (Artin) stacks and study their local properties in the context of derived algebraic geometry. In this regard, for negatively shifted contact derived $\mathbb{K}$-schemes, we develop a Darboux-like theorem and formulate the notion of symplectification.