seen from Switzerland
seen from Singapore
seen from Taiwan
seen from Switzerland
seen from China
seen from Japan
seen from Switzerland
seen from United States
seen from United States
seen from United States
seen from Japan
seen from Russia
seen from Switzerland
seen from United States
seen from United States
seen from Switzerland
seen from United States
seen from United States
seen from United States
seen from United States
Ensembles (sets) et #HoTT
Ensembles (sets) et #HoTT
Emily Riehl écrit sur Twitter que la conclusion de ce texte article de Mike Shulman « will blow your mind »:
« homotopy type theory : The Logic of space «
https://arxiv.org/pdf/1703.03007.pdf
La théorie des « espaces synthétiques » est expliquée sommairement au début, il s’agit de ne pas considérer la notion d’espace comme une structure surimposée à une construction ensembliste ( exemple : les…
View On WordPress
Ensembles (sets) et #HoTT
Ensembles (sets) et #HoTT
Emily Riehl écrit sur Twitter que la conclusion de ce texte article de Mike Shulman « will blow your mind »:
« homotopy type theory : The Logic of space «
https://arxiv.org/pdf/1703.03007.pdf
La théorie des « espaces synthétiques » est expliquée sommairement au début, il s’agit de ne pas considérer la notion d’espace comme une structure surimposée à une construction ensembliste ( exemple : les…
View On WordPress
Ensembles (sets) et #HoTT
Ensembles (sets) et #HoTT
Emily Riehl écrit sur Twitter que la conclusion de ce texte article de Mike Shulman « will blow your mind »: « homotopy type theory : The Logic of space « https://arxiv.org/pdf/1703.03007.pdf La théorie des « espaces synthétiques » est expliquée sommairement au début, il s’agit de ne pas considérer la notion d’espace comme une structure surimposée à une construction ensembliste ( exemple : les…
View On WordPress
La théorie des topoi et la physique
La théorie des topoi et la physique
https://meditationesdeprimaphilosophia.wordpress.com/2015/07/18/quest-ce-quune-chose-physique-et-theorie-des-topoi-2/
L’article “what is a thing” est sur Arxiv:
https://arxiv.org/pdf/0803.0417.pdf
Bâtir une théorie physique équivaut à représenter dans un topos un langage formel lié au système physique à étudier.
Ce topos est Set, le topos des ensembles, pour la physique classique, et sera un…
View On WordPress
La théorie des topoi et la physique
La théorie des topoi et la physique
https://meditationesdeprimaphilosophia.wordpress.com/2015/07/18/quest-ce-quune-chose-physique-et-theorie-des-topoi-2/
L’article “what is a thing” est sur Arxiv:
https://arxiv.org/pdf/0803.0417.pdf
Bâtir une théorie physique équivaut à représenter dans un topos un langage formel lié au système physique à étudier.
Ce topos est Set, le topos des ensembles, pour la physique classique, et sera un…
View On WordPress
La théorie des topoi et la physique
La théorie des topoi et la physique
https://meditationesdeprimaphilosophia.wordpress.com/2015/07/18/quest-ce-quune-chose-physique-et-theorie-des-topoi-2/ L’article “what is a thing” est sur Arxiv: https://arxiv.org/pdf/0803.0417.pdf Bâtir une théorie physique équivaut à représenter dans un topos un langage formel lié au système physique à étudier. Ce topos est Set, le topos des ensembles, pour la physique classique, et sera un…
View On WordPress
