Daily Archives: September 7, 2017

A type theoretical Yoneda lemma

Originally posted on Homotopy Type Theory:
In this blog post I would like to approach dependendent types from a presheaf point of view. This allows us to take the theory of presheaves as an inspiration for results in homotopy type…

Posted in Philosophie

#HoTT The Book : chapitre 1 , types vs sets

Le livre, écrit par les meilleurs spécialistes de cette nouvelle discipline, peut être acheté ou téléchargé gratuitement ici: The HoTT Book Il vaut mieux apprendre HoTT dans ce livre que lire, comme je le fais, des articles sur Arxiv ou … Continue reading

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

Les Principia mathematica de Bertrand Russell et Alfred North Whitehead (1913)

Documentaire de 1971 avec interview de Laurent Schwartz qui était cette année là professeur à Polytechnique : http://fresques.ina.fr/jalons/fiche-media/InaEdu01436/les-principia-mathematica-de-bertrand-russell.html Les trois volumes de cette oeuvre logico-philosophique cruciale sont disponibles en bibliothèque de mes blogs: Vol 1: https://themasters6.wordpress.com/2015/11/03/whitehead-russell-principia-mathematica-volume-1/ Vol 2: https://lesharmoniesdelesprit.wordpress.com/whitehead-et-russell-principia-mathematica-vol-2/ Vol … Continue reading

Posted in Bertrand Russell, Philosophie, Philosophie mathématique | Tagged , ,

Vigny : la maison du berger

http://poesie.webnet.fr/lesgrandsclassiques/poemes/alfred_de_vigny/la_maison_du_berger_iii.html “Eva, qui donc es-tu ? Sais-tu bien ta nature ? Sais-tu quel est ici ton but et ton devoir ? Sais-tu que, pour punit l’homme, sa créature, D’avoir porté la main sur l’arbre du savoir, Dieu permit qu’avant tout, … Continue reading

Posted in Littérature-Poésie

Key Largo (John Huston, 1948)

https://m.ok.ru/video/272865757859 Le film se passe dans une de petites îles au Sud de la Floride qui sont évacuées actuellement en prévision du passage d’Irma , lors d’un ouragan déjà, dans cette zone il y en a tous les ans à … Continue reading

Posted in Cinéma | Tagged , ,