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 https://meditationesdeprimaphilosophia.wordpress.com/2017/10/22/hott-andre-joyal-la-notion-de-typos/ https://anthroposophiephilosophieetscience.wordpress.com/2018/01/22/andre-joyal-hott-simplicial-tribes/ https://meditationesdeprimaphilosophia.wordpress.com/2017/10/21/hott-andre-joyal-weak-factorisation-system/ https://anthroposophiephilosophieetscience.wordpress.com/2017/10/29/hott-andre-joyal-correspondance-des-notions-categoriques-et-de-celles-de-la-theorie-homotopique-des-types/ https://meditationesdeprimaphilosophia.wordpress.com/2017/08/31/andre-joyal-categorical-hott-2/ https://anthroposophiephilosophieetscience.wordpress.com/2017/09/13/andre-joyal-categorical-hott-3/ https://henosophiamathesis.wordpress.com/2017/10/17/hott-andre-joyal-tribes-and-fibrations/ https://nicolasdecuse.wordpress.com/2017/10/12/andre-joyal-hott-category-theory-and-homotopy-type-theory/ https://doctrinedelascience.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/ https://hottandphilosophy.wordpress.com/2017/11/26/andre-joyal-categorical-homotopy-type-theory-2014/ https://anthroposophiephilosophieetscience.wordpress.com/2017/10/20/hott-le-cours-dandre-joyal-en-cinq-parties-sur-les-tribus/ https://anthroposophiephilosophieetscience.wordpress.com/2017/11/26/andre-joyal-notes-on-tribes-and-clans/ https://homotopytypetheory.org/author/mikeshulman/ https://arxiv.org/abs/1703.03007 https://arxiv.org/abs/1601.05035Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, homotopy type theory, Science-internelle | Tagged , , , ,

#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 , , ,

#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 ,

#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 : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-tribus-et-⊓-tribus/ Autres … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged

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 ,

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 , ,

#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 : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-and-category-theory/ éclairer pour les étudiants formés au langage de la théorie des catégories les notations … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged

#HoTT André Joyal : la notion de typos

Voir cet ancien article : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-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 dans une catégorie C Le … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , , , ,

#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 ,

#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 , ,