Daily Archives: October 29, 2017

#HoTT : homotopy theory in type theory

Originally posted on HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια:
http://dlicata.web.wesleyan.edu/pubs/bll13homotopy/bll13homotopy.pdf

Posted in Philosophie

#HoTT André Joyal correspondance des notions catégoriques et de celles de la théorie homotopique des types

J’ai déjà dit que c’est la grande vertu des travaux d’André Joyal, qui est un des plus grands théoriciens des catégories et des Topoi : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-and-category-theory/ éclairer pour les étudiants formés au langage de la théorie des catégories les notations … Continue reading

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

Decidable Propositional Equality in Haskell

Originally posted on Types and Kinds:
A recent discussion on the cvs-ghc mailing list touched on propositional decidable equality in Haskell. This post will explain propositional equality and consider different encodings of this idea in Haskell. Preface This blog post…

Posted in Philosophie

La légion des damnés (1969)

https://m.ok.ru/video/203419224814 Avec Jack Palance

Posted in Cinéma

Samuel Fuller : au delà de la gloire ( The big red one, 1980)

Samuel Fuller était sur « bloogy Omaha » le 6 juin 1944: https://m.ok.ru/video/43429005894

Posted in Cinéma | Tagged