Category Archives: Computer science

Tangle with categories;knot theory and category theory

La théorie des noeuds (knot theory) est très liée à la théorie des catégories http://math.ucr.edu/home/baez/tangles.html https://www.quora.com/What-is-the-importance-of-knot-theory-to-category-theory https://www.worldscientific.com/worldscibooks/10.1142/4542 http://maths.mq.edu.au/~street/PilletRapport.pdf On y trouve même des alternatives à la blockchain https://blog.singulargarden.com/fr/posts/alternative-blockchain-avec-tangle/ Advertisements

Posted in category theory, Computer science, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

Barendregt : lambda-calculi with types

https://www.cosc.brocku.ca/~mwinter/Courses/5P05/HBKJ.pdf

Posted in Computer science, homotopy type theory, Science-internelle

Computational trinitarianism

https://ncatlab.org/nlab/show/computational+trinitarianism

Posted in ∞-catégories, category theory, Computer science, Higher category theory, homotopy type theory, Logique

#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