Daily Archives: March 5, 2018

A whirlwind tour of The World of (∞,1)-categories

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://www.matem.unam.mx/omar/papers/infinity-survey.pdf

Posted in Philosophie

#HoTT univalent higher categories via complete semi- Segal types

http://delivery.acm.org/10.1145/3160000/3158132/popl18-p216.pdf?ip=82.225.152.114&id=3158132&acc=OA&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2EC1E31BC46E58D5B8&__acm__=1520270090_83ee61252573fa774d776669ec8b32c3

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, homotopy type theory, Science, mathesis

Lumsdaine : the local universes model

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.761.5728&rep=rep1&type=pdf

Posted in Philosophie

#HoTT sets, simplicial sets, types, categories

Une introduction claire à la théorie homotopique des types : https://www.groundai.com/project/constructive-set-theory-from-a-weak-tarski-universe/ Sa page Arxiv : https://arxiv.org/abs/1411.5591v1

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