Eklablog Tous les blogs
Editer l'article Suivre ce blog Administration + Créer mon blog
MENU
Tous les blogs
Recherche
+ Créer mon blog Editer l'article Suivre ce blog Administration
Partager
puisque le salut est en nous, n'est il pas assuré que l'armée des esprits débouche dans l'éternité, pourvu que nous ayons soin de maintenir à la notion d'éternité sa stricte signification d'immanence radicale ?

Publicité

Type vs #HoTT vs #CT vs topos

11.07.2021 …

Par topos

https://math.stackexchange.com/questions/1883501/type-vs-hott-vs-category-vs-topos

https://scienceinternelle.wordpress.com/2019/02/10/type-tt-vs-hott-vs-category-ct-vs-topos/

Publicité
Retour à l'accueil
Partager cet article
Repost0
Pour être informé des derniers articles, inscrivez vous :
Vous aimerez aussi :
Amour intellectuel universel
Amour intellectuel universel
Cinq périodes de développement des mathématiques
Cinq périodes de développement des mathématiques
Jules Lequier et Stig Dagerman
Jules Lequier et Stig Dagerman
Vision de l’unité des mathématiques par Alexandre Grothendieck : au delà de celle de Lautman
Vision de l’unité des mathématiques par Alexandre Grothendieck : au delà de celle de Lautman
Commenter cet article

Thème Magazine © -  Hébergé par Eklablog