B. Antieau and D. Gepner, Brauer groups and étale cohomology in derived algebraic geometry, Geometry & Topology, vol.18, issue.2, pp.1149-1244, 2014.

K. Behrend and B. Fantechi, The intrinsic normal cone. Inventiones mathematicae, vol.128, pp.45-88, 1997.

D. Calaque, A. C?ld?raru, and J. Tu, On the Lie algebroid of a derived selfintersection, Advances in Mathematics, vol.262, pp.751-783, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00997555

-. Ionu?-ciocan and M. Kapranov, Derived Hilbert schemes, Journal of the American Mathematical Society, vol.15, issue.4, pp.787-815, 2002.

-. Ionu?-ciocan and M. Kapranov, Virtual fundamental classes via dgmanifolds, Geometry & Topology, vol.13, issue.3, pp.1779-1804, 2009.

D. Calaque and J. Grivaux, Formal moduli problems and formal derived stacks, vol.02, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01721991

T. Coates, A. Gholampour, H. Iritani, Y. Jiang, P. Johnson et al., The quantum Lefschetz hyperplane principle can fail for positive orbifold hypersurfaces, Mathematical Research Letters, vol.19, issue.5, pp.997-1005, 2012.

Q. Chen, F. Janda, and R. Webb, Virtual cycles of stable (quasi)-maps with fields, vol.11, p.2019

D. A. Cox, S. Katz, and Y. Lee, Mirror symmetry and Gromov-Witten invariants, Contemp. Math., chapter III, vol.276, pp.157-166, 2001.

V. Drinfeld and D. Gaitsgory, On some finiteness questions for algebraic stacks. Geometric and Functional Analysis, vol.23, p.2013

D. Gaitsgory and N. Rozenblyum, A study in derived algebraic geometry, Mathematical Surveys and Monographs. American Mathematical Society, vol.I, 2017.

D. Gaitsgory and N. Rozenblyum, Deformations, Lie theory and formal geometry, Mathematical Surveys and Monographs, vol.II, 2017.

R. Haugseng, Rectification of enriched ?-categories, Algebraic & Geometric Topology, vol.15, issue.4, pp.1931-1982, 2015.

M. Hovey, Brown representability and the Eilenberg-Watts theorem in homotopical algebra, Proceedings of the, vol.143, pp.2269-2279, 2015.

. Mehmet-umut-isik, Equivalence of the Derived Category of a Variety with a Singularity Category, International Mathematics Research Notices, issue.12, pp.2787-2808, 2012.

R. Joshua, Riemann-Roch for algebraic stacks III: Virtual structure sheaves and virtual fundamental classes, 2010.

A. Adeel and . Khan, The Morel-Voevodsky localization theorem in spectral algebraic geometry, Geometry & Topology, vol.23, issue.7, p.2019

A. Adeel and . Khan, Virtual excess intersection theory, vol.10, p.2019

B. Kim, A. Kresch, and T. Pantev, Functoriality in intersection theory and a conjecture of Cox, Katz, and Lee, Journal of Pure and Applied Algebra, vol.179, issue.1, pp.127-136, 2003.

M. Kontsevich, Enumeration of rational curves via torus actions, The Moduli Space of Curves, pp.335-368, 1995.

A. Adeel, D. Khan, and . Rydh, Virtual Cartier divisors and blow-ups, 2019.

P. Lowrey and T. Schürg, Grothendieck-Riemann-Roch for derived schemes, 2012.

J. Lurie, Derived Algebraic Geometry, 2004.

J. Lurie, Higher topos theory, Annals of Mathematics Studies, vol.170, 2009.

J. Lurie, Higher algebra, 2017.

J. Lurie, Spectral algebraic geometry, 2019.

C. Manolache, Virtual pull-backs, Journal of Algebraic Geometry, vol.21, issue.2, pp.201-245, 2012.

E. Mann and M. Robalo, Brane actions, categorifications of Gromov-Witten theory and quantum K-theory, Geometry & Topology, vol.22, issue.3, pp.1759-1836, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01151061

M. Porta and T. Yu, Non-archimedean quantum K-invariants. arXiv e-prints, vol.01
URL : https://hal.archives-ouvertes.fr/hal-02443382

F. Qu, Virtual pullbacks in K-theory, Annales de l'Institut Fourier, vol.68, issue.4, pp.1609-1641, 2018.

K. Seerp-roald, A double-dimensional approach to formal category theory, vol.10, p.2019

E. Riehl and D. Verity, Elements of ?-category theory

T. Schürg, Deriving Deligne-Mumford Stacks with Perfect Obstruction Theories, 2011.

T. Schürg, B. Toën, and G. Vezzosi, Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes, Journal für die Reine und Angewandte Mathematik, vol.702, pp.1-40, 2015.

B. Toën, Proper local complete intersection morphisms preserve perfect complexes, vol.10, p.2012

B. Toën, Derived algebraic geometry, EMS Surveys in Mathematical Sciences, vol.1, issue.2, pp.153-240, 2014.

B. Toën and M. Vaquié, Moduli of objects in dg-categories, Annales Scientifiques de l'École Normale Supérieure, vol.40, pp.387-444, 2007.

B. Toën and G. Vezzosi, Homotopical algebraic geometry. II. Geometric stacks and applications. Memoirs of the, vol.193, p.224, 2008.

G. Vezzosi, Derived critical loci I -Basics, 2011.

D. Kern, . Université-d'angers, . Larema, F. Cnrs, . Des et al., BOULEVARD LAVOISIER, F-49045 ANGERS CEDEX 01, FRANCE E-mail address: kern@math.univ-angers