Daily Archives: January 24, 2018

Computational trinitarianism

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

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

Benedikt Ahrens : univalent foundations and the equivalence principle

Posted in homotopy type theory

Univalent categories and The Rezk completion

Voir aussi cet exposé sur la formalisation de la théorie des catégories en théorie des types: Click to access IHP_Ahrens.pdf ainsi que Displayed categories: https://arxiv.org/abs/1705.04296 Et « Categorical structures for Type theory » https://arxiv.org/abs/1705.04310 https://ncatlab.org/nlab/show/Benedikt+Ahrens Commençons donc à étudier ces notes d’exposé … Continue reading

Posted in ∞-catégories, homotopy type theory