Category Archives: Computer science

#HoTT Statebox a Universal language for distributed systems

https://johncarlosbaez.wordpress.com/2018/01/22/statebox-a-universal-language-of-distributed-systems/ « Why is society a mess? The present human condition is absurd. We are in a cognitive renaissance, yet our world is in peril. We need to realize a deeper harmony of theory and practice—we need ideas that dare to … Continue reading

Posted in category theory, Computer science, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle

Pi et Sigma types

http://www.cs.nott.ac.uk/~psztxa/ntt/pisigma.pdf

Posted in Computer science, homotopy type theory

#HoTT and computer formalization

https://golem.ph.utexas.edu/category/2015/06/whats_so_hott_about_formalizat.html

Posted in Computer science, homotopy type theory | Tagged

Temps et théorie des types #HoTT #TTT

L’initiation, l’acheminement de la conscience vers le plan internel , n’a rien de commun avec la croyance naïve en l’immortalité: https://anthroposophiephilosophieetscience.wordpress.com/2017/12/22/immortalite-ou-in-finitude/ elle passe donc forcément , pour lutter contre cette terreur du « temps qui rafle tout dans le Néant » par … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Computer science, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science-internelle

Higher inductive-recursive univalence and type-directed definitions

Originally posted on Homotopy Type Theory:
In chapter 2 of the HoTT book, we prove theorems (or, in a couple of cases, assert axioms) characterizing the equality types of all the standard type formers. For instance, we have and (that’s…

Posted in Computer science, homotopy type theory, Philosophie

Philip Wadler : category theory for the WORKING HACKER

Comme je l’ai déjà dit, il y a deux versants à la théorie des catégories, qui est une sorte de Janus bifrons : un visage tourné vers la terre, et l’autre vers le ciel.. ce doit être la fameuse dualité…

Posted in category theory, Computer science, Higher category theory, homotopy type theory

#HoTT Théorie homotopique des types et programmation

La théorie homotopique des types a deux versants : l’un théorique, tourné vers le haut, celui de la théorie des types , celui que l’on trouve dans le Livre que nous étudions ici : The HoTT Book et l’autre tourné … Continue reading

Posted in Computer science, homotopy type theory