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

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια

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

View original post

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

Ce blog est “universaliste et laïque ” mais pas “de gauche” ni féministe

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια

Source: Ce blog est “universaliste et laïque ” mais pas “de gauche” ni féministe

View original post

Joyal : categorical #HoTT 1

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια

Source: Joyal : categorical #HoTT 1

View original post

La structure absolue de Raymond Abellio

Click to access Verney%20Seix%202011.pdf

La théorie des topoi et la physique

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια

Source: La théorie des topoi et la physique

View original post

L’évolution de “Higher algebra” en 130 ans

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια

Source: L’évolution de “Higher algebra” en 130 ans

View original post

Triangulated categories

Click to access TriangulatedCategories.pdf

Click to access Triangulate.pdf

https://ncatlab.org/nlab/show/triangulated+category

Homotopical categories and simplicial sheaves

Motivic homotopy theory

Aussi appelée A1-homotopy theory , voir:

Homotopical categories and simplicial sheaves

Étudier :

https://ncatlab.org/nlab/show/motivic+homotopy+theory

Click to access levine.pdf

Truncations and truncated higher inductive types

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια

Source: Truncations and truncated higher inductive types

View original post