Daily Archives: October 22, 2017

Categories types and structures

https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf Advertisements

Posted in ∞-catégories, category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science, mathesis | Tagged

Jacob Lurie : what is an ∞-category ?

http://www.ams.org/notices/200808/tx080800949p.pdf

Posted in ∞-catégories, ∞-topoi | Tagged

Rezk : stuff about quasicategories

https://faculty.math.illinois.edu/~rezk/595-fal16/quasicats.pdf

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged

#HoTT André Joyal : la notion de typos

Voir cet ancien article : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-tribus-et-⊓-tribus/ et la note de Joyal : http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf Page 15 sur 52 définition du «  push forward functor » associé à une flèche f : A → B dans une catégorie C Le foncteur est noté … Continue reading

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

The Morita model structure on Cat

Originally posted on Dreaming of mathematics:
There is a well-known model structure on Cat where the weak equivalences are the categorical equivalences, i.e. the functors that are fully faithful and essentially surjective on objects, the cofibrations are the functors that…

Posted in Philosophie