#HoTT simplicial categories, Segal spaces and Segal categories

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

https://arxiv.org/abs/1503.02720

http://www.people.virginia.edu/~jeb2md/CSSFunctors.pdf

Voir aussi le livre d’Emily Riehl

http://www.math.jhu.edu/~eriehl/cathtpy.pdf

Et les travaux d’André Joyal

http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/Joyal-TACL2015.pdf

https://meditationesdeprimaphilosophia.wordpress.com/2017/10/22/hott-andre-joyal-la-notion-de-typos/

https://anthroposophiephilosophieetscience.wordpress.com/2018/01/22/andre-joyal-hott-simplicial-tribes/

https://meditationesdeprimaphilosophia.wordpress.com/2017/10/21/hott-andre-joyal-weak-factorisation-system/

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/29/hott-andre-joyal-correspondance-des-notions-categoriques-et-de-celles-de-la-theorie-homotopique-des-types/

https://meditationesdeprimaphilosophia.wordpress.com/2017/08/31/andre-joyal-categorical-hott-2/

https://anthroposophiephilosophieetscience.wordpress.com/2017/09/13/andre-joyal-categorical-hott-3/

https://henosophiamathesis.wordpress.com/2017/10/17/hott-andre-joyal-tribes-and-fibrations/

https://nicolasdecuse.wordpress.com/2017/10/12/andre-joyal-hott-category-theory-and-homotopy-type-theory/

https://doctrinedelascience.wordpress.com/2017/10/14/andre-joyal-hott-tribus-et-⊓-tribus/

https://anthroposophiephilosophieetscience.wordpress.com/2018/01/09/hott-andre-joyal-π-tribus-et-h-tribus-tribus-de-martin-lof-et-de-voevodsky/

https://hottandphilosophy.wordpress.com/2017/11/26/andre-joyal-categorical-homotopy-type-theory-2014/

https://homotopytypetheory.org/author/mikeshulman/

https://arxiv.org/abs/1703.03007

https://arxiv.org/abs/1601.05035

https://home.sandiego.edu/~shulman/papers/index.html

View original post

Publicités

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion /  Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion /  Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion /  Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion /  Changer )

Connexion à %s