Daily Archives: October 10, 2017

#HoTT The Book : 1.7 coproduct types

The HoTT Book “Coproduct” est une notion catégorique, c’est la notion duale de celle de produit (product) , celle de Somme (sum) https://ncatlab.org/nlab/show/coproduct Dans le cas des ensembles ( catégorie Set) c’est l’union disjointe(et pour les ensembles le produit est … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science-internelle | Tagged ,

W B Yeats : Vision

Un lien sur ce livre (beaucoup plus qu’un livre, ou, si le monde est fait pour aboutir à un Livre, l’aboutissement de la Réalité) extrêmement important du point de vue de ce blog: http://www.yeatsvision.com Yeats est l’auteur de ce poème … Continue reading

Posted in Cinéma, Littérature-Poésie, Philosophie | Tagged , , ,