Tag Archives: Emily Riehl

#HoTT simplicial categories, Segal spaces and Segal categories

https://arxiv.org/abs/1503.02720 http://www.people.virginia.edu/~jeb2md/CSSFunctors.pdf Voir aussi le livre d’Emily Riehl http://www.math.jhu.edu/~eriehl/cathtpy.pdf Et les travaux d’André Joyal http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/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.05035 https://home.sandiego.edu/~shulman/papers/index.html Advertisements

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

Thèse : towards an (∞,2)-category of coherent monads in an ∞-cosmos

https://infoscience.epfl.ch/record/231037/files/EPFL_TH7748.pdf

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , ,

Ensembles (sets) et #HoTT

Emily Riehl écrit sur Twitter que la conclusion de ce texte article de Mike Shulman « will blow your mind »: « homotopy type theory : The Logic of space «  https://arxiv.org/pdf/1703.03007.pdf La théorie des « espaces synthétiques » est expliquée sommairement au début, il … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Théorie des ensembles (set theory) | Tagged , , , , ,

#∞-cosmoi : nouveau travail de Dominic Verity et Emily Riehl : “The comprehension construction”

http://www.math.jhu.edu/~eriehl/comprehension.pdf Les ∞-cosmoi doivent être vus comme des “Univers d’Idées”, puisque les objets de ces catégories simpliciale sont pas définition les ∞-catégories, qui sont ici les Idées, ou les mathèmes d’Idées . Il existe plusieurs exemples précis d’ ∞-cosmoi : … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , ,

#HoTT : théorie homotopique des types une révolution des mathématiques ?

Lorsque j’ai créé ce blog, il n’y a pas si longtemps de cela, je ne connaissais même pas ce nom : HoTT = homotopy type theory = théorie homotopique des types, encore moins en quoi consistait cette “nouvelle fondation” des … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , , ,

La théorie de l’homotopie de Grothendieck

Je me borne à donner le lien , pour celles et ceux que cela pourrait intéresser: https://webusers.imj-prg.fr/~georges.maltsiniotis/ps/prstnew.pdf mais je ne me sens pas de taille actuelllement à me colleter avec la pensée, extrêmement subtile et profonde de Grothendieck; à noter … Continue reading

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

Cosmoi et ∞-cosmoi

L’idée d’∞-cosmos , qui est la plus profondément étudiée par Riehl et Verity, a été introduite ici : https://anthroposophiephilosophieetscience.wordpress.com/2017/01/19/scienceinternelle-8-∞-cosmoi/ Sa Page est ici : https://ncatlab.org/nlab/show/infinity-cosmos Un ∞-cosmos y est défini , pragmatiquement , comme “un bon endroit pour faire de … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , , ,