Daily Archives: July 26, 2017

Homotopy theoretic models of identity types

Cet article Donne le lien vers l’article séminal de Awodey et Warren en 2007: Awodey, Warren: Homotopy theoretic models of identity types https://arxiv.org/abs/0709.0248 Mais les “Identity types ” ne décriraient ils pas l’identité avec lui même, au cours du temps, d’un … Continue reading

Posted in homotopy type theory | Tagged ,

Nimitz retour vers l’enfer (1980)

Célebbre nanard réalisé en 1980: https://fr.m.wikipedia.org/wiki/Nimitz,_retour_vers_l’enfer Année située relativement à nous dans le passé à peu près comme Pearl Harbour se situait relativement à.. 1980. L’ Amérique venir de sortir 5 ans avant du désastre du Vietnam et se préparait … Continue reading

Posted in Cinéma

#HoTT et théorie des catégories

http://benedikt-ahrens.de/talks/Marseille.pdf Les types, entités qui sont à la base de HoTT et y remplacent les ensembles (ensembles qui sont considérés comme des types particuliers) peuvent être considérés comme des ∞-groupoides. L’axiome des “univalent foundations ” asserte en gros que pour … Continue reading

Posted in ∞-cosmoi, ∞-topoi, homotopy type theory | Tagged , , ,

#BrunschvicgAgesIntelligence 1: les âges de l’Intelligence

“Les âges de l’intelligence” sont un livre petit par le volume mais de grande importance regroupant une série de conférences données en Sorbonne en 1932-33: http://classiques.uqac.ca/classiques/brunschvicg_leon/ages_de_intelligence/brunschvicg_ages_intelligence.doc Et dès l’avant-propos Brunschvicg met en avant de manière fort subtile le thème des … Continue reading

Posted in Léon Brunschvicg, Philosophie