Category Archives: Uncategorized

Une théorie de l’homotopie est une catégorie simpliciale

Advertisements

Universel abstrait des ensembles et concret des catégories chez David Ellerman

« La vie est absolument bonne, du moment que nous avons su l’élever au dessus de la fragilité et de la mort »

Science internelle Henosophia Toposophia Mathesis universalis

La très belle dernière page d’ »Introduction à la vie de l’esprit » de Léon Brunschvicg est un peu énigmatique :

https://meditationesdeprimaphilosophia.wordpress.com/2012/04/20/la-seule-vraie-religion/

« l’univers est bon, absolument bon, du moment que nous savons le comprendre; car nous sommes maîtres de n’y voir que ce qui s’unit à nous

Rien ne peut interdire à l’intelligence de rencontrer dans le monde uniquement ce qui est fait pour elle, la loi d’où naît la vérité. Il n’y a pas d’évènement quelqu’inattendu qu’il soit , quelque contraire à nos tendances personnelles, qui ne serve à enrichir le domaine de notre connaissance.

Nous n’avons à redouter d’autre ennemi que l’erreur; et l’erreur, si nous savons l’avouer avec sincérité et nous en délivrer scrupuleusement, ne fait qu’augmenter le prix de la vérité définitvement possédée.

Rien ne peut empêcher la volonté de rencontrer dans le monde uniquement ce qu’elle cherche, l’occasion de se dévouer à l’intérêt supérieur…

View original post 516 more words

Formalizing Categorical models of type theory in type theory