Tag Archives: André Joyal

#HoTT simplicial categories, Segal spaces and Segal categories

https://arxiv.org/abs/1503.02720 Click to access CSSFunctors.pdf Voir aussi le livre d’Emily Riehl Click to access cathtpy.pdf Et les travaux d’André Joyal Click to access Joyal-TACL2015.pdf #HoTT André Joyal : la notion de typos André Joyal #HoTT : simplicial tribes #HoTT : André Joyal … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, homotopy type theory, Science-internelle | Tagged , , , , | Comments Off on #HoTT simplicial categories, Segal spaces and Segal categories

#ScienceInternelle récapitulation: connaissance naturelle et connaissance scientifique

Résumons ce qui a été reconnu ici jusqu’à aujourd’hui… La mathématique est, plutôt qu’une technique de calcul , cette discipline de vérité, pleinement philosophique et intellectuelle, ayant pour objet les Idées platoniciennes , qui sont vues ici comme des (∞,1)-catégories. … Continue reading

Posted in DIEU, Europe, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science-internelle | Tagged , , , | Comments Off on #ScienceInternelle récapitulation: connaissance naturelle et connaissance scientifique

#HoTT : André Joyal et la hiérarchie infinie cumulative d’univers

C’est ici Page 15 sur 39: Click to access Joyal-TACL2015.pdf Le caractère cumulatif de la suite Infinie d’univers correspond à l’axiome 2 Voir aussi cette version par Mike Shulman: Click to access Joyal.pdf Autre version de Joyal : Click to … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , | Comments Off on #HoTT : André Joyal et la hiérarchie infinie cumulative d’univers

#HoTT : André Joyal π-tribus et h-tribus; tribus de Martin- Lof et de Voevodsky

Les tribus (« tribes ») se répartissent entre π-tribus et h-tribus ( h pour homotopical): Click to access Joyal.pdf Et se réunifient ensuite comme tribus de Martin-Lof (ML-tribes)(voir tableau page 11 sur 81) Il existe déjà un article ici : André Joyal … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged | Comments Off on #HoTT : André Joyal π-tribus et h-tribus; tribus de Martin- Lof et de Voevodsky

William Lawvere: equality in hyperdoctrines and compréhension schema as an adjoint functor

Click to access LawvereComprehension.pdf Cité par André Joyal comme source importante dans « categorical homotopy type theory »:(Page 3 sur 81) Click to access Joyal.pdf

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Tagged , | Comments Off on William Lawvere: equality in hyperdoctrines and compréhension schema as an adjoint functor

L’article très important de Kapulkin et Szumilo dont parle André Joyal

C’est dans une de ses notes sur les tribus (« categorical homotopy type theory ») que Joyal parle de ce résultat: Click to access invited_paper_7.pdf qui est démontré ici: https://arxiv.org/abs/1709.09519 Équivalence de la théorie de l’homotopie des tribus de Joyal et de … Continue reading

Posted in homotopy type theory | Tagged , , | Comments Off on L’article très important de Kapulkin et Szumilo dont parle André Joyal

#HoTT André Joyal correspondance des notions catégoriques et de celles de la théorie homotopique des types

J’ai déjà dit que c’est la grande vertu des travaux d’André Joyal, qui est un des plus grands théoriciens des catégories et des Topoi : André Joyal : #HoTT and category theory éclairer pour les étudiants formés au langage de la … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged | Comments Off on #HoTT André Joyal correspondance des notions catégoriques et de celles de la théorie homotopique des types

#HoTT André Joyal : la notion de typos

Voir cet ancien article : André Joyal #HoTT : tribus et ⊓-tribus et la note de Joyal : Click to access Joyal.pdf Page 15 sur 52 définition du «  push forward functor » associé à une flèche f : A → B … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , , , , | Comments Off on #HoTT André Joyal : la notion de typos

#HoTT : Heller homotopy theories

Click to access 8539a6f77b6b942bb4e64515526e39109f90.pdf Fait partie des documents indiqués par Joyal: Click to access joyal-crm-2013.pdf

Posted in Philosophie | Tagged , | Comments Off on #HoTT : Heller homotopy theories

#HoTT : André Joyal weak factorisation system

Deux liens sur les deux wikis de la théorie des catégories: https://ncatlab.org/joyalscatlab/published/Weak+factorisation+systems https://ncatlab.org/nlab/show/weak+factorization+system André Joyal explique aussi la notion dans ses notes, par exemple Page 34 et 35 de : Click to access Joyal.pdf qui a été étudiée ici : … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science-internelle, Théorie des topoi (topos theory) | Tagged , , | Comments Off on #HoTT : André Joyal weak factorisation system