Daily Archives: December 11, 2017

Category Theory for Programmers: The Preface

Originally posted on   Bartosz Milewski's Programming Cafe:
Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functoriality Function Types Natural Transformations…

Posted in Philosophie

Representing physical systems as Chu spaces

https://www.cs.ox.ac.uk/files/2372/RR-09-08.pdf

Posted in category theory, Chu spaces, Physique, Science, mathesis

#HoTT expressing « the structure of » in homotopy type theory

https://ncatlab.org/davidcorfield/show/Expressing+%27The+Structure+of%27+in+Homotopy+Type+Theory Accès à l’article en cliquant sur « final draft « 

Posted in homotopy type theory, Philosophie mathématique | Tagged

Trinité et quaternité

https://www.erudit.org/fr/revues/ltp/2001-v57-n2-ltp2170/401352ar.pdf Le début de « Fondements logiques de la physique » où Robert Lutz et Jean François Froger développent le projet d’une nouvelle science à partir de fondements métaphysiques sur la nature de la réalité : http://livre.prologuenumerique.ca/telechargement/extrait.cfm?ISBN=9782915418699&type=pdf http://www.adverbum.fr/editions-desiris/jean-francois-froger-et-robert-lutz/structure-de-la-connaissance_2791.html

Posted in Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Quaternité, Science-internelle

Silencieuse étincelle glacée

http://www.jukebox.fr/claude-nougaro/clip,la-neige,q8kprp.html

Posted in Musique, Philosophie | Tagged