#HoTT n-types

https://ncatlab.org/nlab/show/homotopy%20n-type
Le dernier chapitre de The Book est consacré aux n-types:

The HoTT Book

Type theoretic replacement & the n-truncation

https://golem.ph.utexas.edu/category/2011/03/homotopy_type_theory_i.html

Comme je l’ai déjà dit, j’ai dans l’idée que l’on pourrait atténuer un peu la radicalité de la coupure entre ensembles (0-catégories) et catégories (1-catégories, puis catégories de niveau n supérieur) au moyen de la table périodique des n-catégories:

https://anthroposophiephilosophieetscience.wordpress.com/2017/01/17/scienceinternelle-7-la-table-periodique-des-n-categories/

Nous avons donc une échelle Sainte de Jacob à Beith-El, «  où les Anges montent et descendent », montant du sol ontologique des 0-catégories vers les ∞-catégories , le « ciel qui est bleu »:

https://fr.m.wikisource.org/wiki/Hors_de_la_terre_I

https://fr.m.wikisource.org/wiki/Le_Glaive

« Approchons-nous du ciel, dit Nemrod ? — et l’esclave
Ouvrit la trappe haute et dit : — Le ciel est bleu
 »

une échelle qui peur être adaptée à la théorie homotopique des types, vu l’analogie entre n-catégories et n-types:

https://anthroposophiephilosophieetscience.wordpress.com/2017/08/06/hott-analogie-des-n-types-et-des-n-categories/

Advertisements
This entry was posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bible, category theory, Higher category theory, Higher topos theory, homotopy type theory, Littérature-Poésie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle. Bookmark the permalink.

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s