Daily Archives: November 4, 2017

Fellini : il bidone (1955)

https://m.ok.ru/dk?st.cmd=movieLayer&st.discId=39776619167&st.retLoc=default&st.discType=MOVIE&st.mvId=39776619167&st.stpos=rec_4&_prevCmd=movieLayer&tkn=1232 En vo, mais l’essentiel dans ce chef d’oeuvre n’est pas dans les mots.. l’histoire d’un escroc vieillissant qui a une fille adolescente dont il ne peut s’occuper à cause de sa vie minable qui commence à lui faire horreur … Continue reading

Posted in Cinéma

From Set theory to type theory

https://golem.ph.utexas.edu/category/2013/01/from_set_theory_to_type_theory.html

Posted in homotopy type theory, Théorie des ensembles (set theory)

Category theory and Type theory

http://www.paultaylor.eu/ASD/foufct/cattype.html https://home.sandiego.edu/~shulman/hottminicourse2012/01typetheory.pdf https://golem.ph.utexas.edu/category/2013/03/category_theory_in_homotopy_ty.html https://news.ycombinator.com/item?id=8780468

Posted in category theory, homotopy type theory, Philosophie

Type- theoretic definition of a category

https://ncatlab.org/nlab/show/type-theoretic+definition+of+category

Posted in category theory, homotopy type theory

#HoTT : André Joyal retour sur les règles de formation, d’introduction, d’élimination et de calcul

Ces notes d’andré Joyal : http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/Joyal-TACL2015.pdf Reviennent sur ces règles, en pages 10 à 12 sur 39 Ces règles très importantes et qui reviennent à tout bout de champ sont expliquées dans The Book : The HoTT Book Page 27 … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory

(∞,n)-catégories et (∞, 1)-catégories

Jusqu’ici nous en sommes restés aux (∞,1)-catégories en les identifiant aux ∞-catégories, parce que pour le moment la recherche se limite à ce cas là , plus facile à traiter : rappelons que les (∞, 1)-catégories sont telles que les … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Théorie des topoi (topos theory)