Archives mensuelles : janvier 2018

Homotopical categories of logics

Publicités

Bart Jacobs : compréhension categories and the semantics of type dependency

Practical foundations

Différentes notes d’André Joyal sur la description catégorique de #HoTT

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

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/12/andre-joyal-hott-category-theory-and-homotopy-type-theory/

Les deux travaux qui suivent portant sur la notion de tribu:

https://ncatlab.org/homotopytypetheory/files/Joyal.pdf

http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf

L’état le plus récent de ces travaux est « Notes on tribes and clans »:

https://arxiv.org/abs/1710.10238

Voir les articles de ce blog:

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/28/hott-andre-joyal-tribus-et-clans/

https://anthroposophiephilosophieetscience.wordpress.com/2017/09/15/hott-relation-des-tribes-et-des-comprehension-categories/

Les tribus (tribes) sont le cadre catégorique pour la théorie homotopique des types; les différentes notes d’André Joyal se ressemblent mais avec des différences subtiles :

Celle ci « A categorical description of HoTT » aborde (Page 56)la notion de typos qui est une tribu qui est à la fois une h-tribu et une π-tribu, donc selon la terminologie de Joyal une πh-tribu obéissant à une condition supplémentaire:(Page 56 sur 75)

http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf

Voir aussi

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/22/hott-andre-joyal-la-notion-de-typos/

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-tribus-et-⊓-tribus/

https://anthroposophiephilosophieetscience.wordpress.com/2018/01/09/hott-andre-joyal-π-tribus-et-h-tribus-tribus-de-martin-lof-et-de-voevodsky/

Les deux grandes espèces de tribus, les π-tribus et les h-tribus, sont réunifiées sous la notion de πh-tribu, qui donne ensuite par des propriétés supplémentaires, les tribus de Martin-Lof et les tribus de Voevodsky , dont Joyal donne des…

Voir l’article original 163 mots de plus