Daily Archives: September 15, 2017

Cohomology

Originally posted on Homotopy Type Theory:
For people interested in doing homotopy theory in homotopy type theory, Chapter 8 of the HoTT Book is a pretty good record of a lot of what was accomplished during the IAS year. However,…

Posted in Philosophie

La birmanophobie, le visage hideux de la bouddhistophobie et du racisme anti asiatique

Originally posted on L'homme occidental:
Il est clair que l’ONU est une organisation raciste qui prend le parti des terroristes musulmans, Rohingyas ou Palestiniens, par haine des juifs ou des bouddhistes… https://pamelageller.com/2017/08/us-resettling-more-rohingya-muslims.html/ https://pamelageller.com/2017/09/hindu-rohingya-myanmar.html/ Pamela Geller prouve que les persécutions…

Posted in Philosophie

Categorical models of dependent types

Cette page : https://ncatlab.org/nlab/show/categorical+model+of+dependent+types Définit des notions que nous avons déjà rencontrées, comme “display maps” , “comprehension categories”, fibrations… Elle aide ainsi à comprendre, comme les notes de Joyal ou de Shulman, les correspondances entre théorie des catégories et HoTT … Continue reading

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

#HoTT : relation des “tribes” et des “comprehension categories”

Les tribus (“tribes “) sont des espèces particulières de catégories introduites par Joyal, il en parle dans ces notes: http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.paf et en Donne des exemples page 13 sur 75; il fait allusion page 12 sur 75 aux autres chercheurs qui … Continue reading

Posted in homotopy type theory, Philosophie | Tagged , ,