Daily Archives: October 3, 2017

Universal properties without function extensionality

Originally posted on Homotopy Type Theory:
A universal property, in the sense of category theory, generally expresses that a map involving hom-sets, induced by composition with some canonical map(s), is an isomorphism. In type theory we express this using equivalences…

Posted in Philosophie

L’ ∞-catégorie de tous les types : un ∞-topos ?

Modules for Modalities « As defined in chapter 7 of the book, a modality is an operation on types that behaves somewhat like the n-truncation. Specifically, it consists of a collection of types, called the modal ones, together with a way … Continue reading

Posted in ∞-catégories, homotopy type theory

#ScienceInternelle la signification de la résurrection de Jésus-Christ

Je rappelle que je ne suis pas chrétien (il n’est pas difficile de s’en apercevoir d’ailleurs) et que ma connaissance des dogmes chrétiens est fort limitée. La double nature de Jésus-Christ, à la fois homme et Dieu y occupe une … Continue reading

Posted in Bible, Christianisme, DIEU, Philosophie, Religions, Science-internelle

Stephen Paddock, le monstre assassin de Las Vegas, est bien un terroriste #musulman

voir aussi: https://lhommeoccidental.wordpress.com/2017/10/03/terry-lee-loewen-le-frere-en-islam-et-en-haine-sanguinaire-de-stephen-paddock/

Posted in Antisionisme-antisémitisme, Coran, Europe, FRANCE 2017, France-bordel, Israel, Merde in France, nazisme