search

mauroporta / Autour_de_DAG

Notes for the cycle of seminars organized by G. Vezzosi at Paris 7 during Spring 2013. Subject: Introduction to Derived Algebraic Geometry
4 stars 3 forks source link

Missing definitions #5

Closed mauroporta closed 10 years ago

mauroporta commented 10 years ago

I propose to use this issue as follows. Everytime one thinks that a definition should be added he adds a comment here, specifying:

1) the missing definition; 2) a reference to standard literature where the definition can be found; 3) the chapter where he thinks the definition should be added.

mauroporta commented 10 years ago

I am the first.

Missing definition: homotopically of finite presentation. Reference: [HAG-II, Definition 1.2.3.1] Where it should be added: Exposé 8.

Further comments: we shouldn't give precisely the definition 1.2.3.1 of HAG-II, but only the one for cdga (or simplicial algebras).