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 être temporel ? Que cet être soit humain, animal, végétal ou minéral.
Ce serait là l’origine des innovations de la théorie par rapport à la théorie plus ancienne de Martin Lof , avec les complexités apportées par le fait que les types peuvent maintenant , comme dit en Page 1, dépendre ou varier en fonction d’autres types. Ainsi le cadre rationnel, scientifique, pour comprendre l’existence temporelle et ses apories serait HoTT.

Advertisements
This entry was posted in homotopy type theory and tagged , . Bookmark the permalink.