Homotopy theoretic models of identity types

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

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.

View original post

Publicités