Daily Archives: January 28, 2018

Calcul des constructions ( CoC ou CIC ?)

https://fr.m.wikipedia.org/wiki/Calcul_des_constructions Code https://hal.inria.fr/hal-01094195/file/CIC.pdf https://coq.inria.fr/refman/cic.html https://ncatlab.org/nlab/show/calculus+of+constructions Advertisements

Posted in homotopy type theory

La révolution éternelle : le livre rouge

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://books.google.fr/books?id=oTqvAwAAQBAJ&pg=PA127&lpg=PA127&dq=marx+homotopy+type+theory&source=bl&ots=XVb_G6pixs&sig=GXN5VYvxM_u0Q8z7JnbKBj4YxII&hl=fr&sa=X&ved=2ahUKEwjB7LHLivvYAhVE2qQKHcSBBK8Q6AEwBXoECAYQAQ#v=onepage&q=marx%20homotopy%20type%20theory&f=false ? (Le livre « HOTT univalent foundations » cité dans les références à la fin, en compagnie de Grothendieck…

Posted in Philosophie

Phénoménologie et marxisme

Phénoménologie et marxisme | Introduction

Posted in Phénoménologie, Philosophie | Tagged , ,

Sur «  La logique totalitaire  «  de Jean Vioulac : le règne de la totalité et la fin de l’humain

http://idiocratie2012.blogspot.fr/2013/11/le-regne-de-la-totalite-et-la-fin-de.html

Posted in Philosophie | Tagged

Synthetic differential geometry within #HoTT

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://arxiv.org/abs/1606.06540

Posted in Philosophie

Sheaves and homotopy theory

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://math.mit.edu/~dspivak/files/cech.pdf

Posted in Philosophie

Urs Schreiber : duality of monads in geometric homotopy theory

https://ncatlab.org/schreiber/show/Duality+of+Monads+in+Geometric+Homotopy+Theory « It is fairly well known that the category-theoretic concept of adjoint pairs captures a good deal of the informal philosophical sentiment of duality (Lambek 82). But ancienct metaphysics also tends to associate a primordial dynamical progression to duality.« 

Posted in category theory, Higher category theory, Homotopy