Archives pour la catégorie Théorie des n-catégories

Urs Schreiber : higher structures in mathematics and physics

https://ncatlab.org/schreiber/show/Higher+Structures

Publicités

∞-cosmos : articles

http://nyjm.albany.edu/j/2017/23-35v.pdf

https://www.emis.de/journals/TAC/volumes/32/31/32-31.pdf

https://msp.org/agt/2017/17-1/p08.xhtml

Relation entre type theory, category theory et logique

https://news.ycombinator.com/item?id=986746

A noter, en commentaires de cet article de blog, une discussion entre Jacob Lurie, Mike Shulman et Urs Schreiber sur HoTT:

https://mathematicswithoutapologies.wordpress.com/2015/05/13/univalent-foundations-no-comment/comment-page-1/#comment-224

Un blog grec consacré aux mathématiques de Badiou

La plupart des articles de ce blog sympathique d’un(e) ami(e) grec(que) inconnu(e) sont en grec moderne (ce qui est bien normal, mais dépasse hélas mes possibilités très limitées d’ancien helléniste au lycée Janson de Sailly) mais il y en a certains en anglais comme par exemple celui ci , de surcroît sur le thème crucial du « forcing » de Paul Cohen dans « L’être et l’événement  »

http://badioumathematics.blogspot.fr/2012/10/forcing-in-being-and-event.html
ou bien celui ci sur les principaux symboles de la théorie des ensembles et des probabilités:

http://badioumathematics.blogspot.fr/2011/01/blog-post_3454.html

Ou bien encore celui ci sur la théorie des faisceaux ( qui jour le rôle que l’on sait dans « Logiques des mondes ») en relation avec la pensée de Deleuze, Laruelle et Badiou:

http://badioumathematics.blogspot.fr/2013/09/laruelle-deleuze-badiou-sheaf-theory.html
  

Homotopy of operads and Grothendieck-Teichmuller groups

Cet article du blog « n-category cafe » :

https://golem.ph.utexas.edu/category/2016/01/homotopy_of_operads_and_grothe.html
donne un lien vers le site de Benoît Fresse:

http://math.univ-lille1.fr/~fresse/OperadHomotopyBook/

Où l’on peut lire les deux volumes de son récent travail sur l’homotopie des opérades.
Et voici un autre article de n-category cafe consacré à l’homotopie envisagée dans le cadre de la théorie des catégories ( categorical homotopy theory) avec un lien vers le livre d’Emily Riehl : « Categorical homotopy theory »:

http://www.math.harvard.edu/~eriehl/cathtpy.pdf
Voir aussi la page du nLab consacrée à ce sujet:

https://ncatlab.org/nlab/show/Categorical+Homotopy+Theory

qui établit la relation avec les ∞-catégories:

http://www.math.jhu.edu/~eriehl/scratch.pdf