Monthly Archives: August 2017

#HoTT : théorie homotopique des types une révolution des mathématiques ?

Advertisements

Homotopical algebraic geometry

https://books.google.fr/books?id=UIDVCQAAQBAJ&pg=PA221&lpg=PA221&dq=quillen+homotopical+algebra&source=bl&ots=viqGfO9Nqg&sig=XFpRea6Ax41SkHegv-I8v-idISU&hl=fr&sa=X&ved=0ahUKEwjqjoX6v_TVAhUML8AKHY41AOA4ChDoAQgkMAM#v=onepage&q=quillen%20homotopical%20algebra&f=false