Daily Archives: February 2, 2018

Saunders MacLane : concepts and categories in perspective

Click to access hmath1-maclane25.pdf Saunders MacLane est le créateur avec Samuel Eilenberg , en 1945, de la théorie des catégories: il passe en revue ici l’histoire des progrès de la science mathématique depuis Russell et Hilbert du double point de … Continue reading

Posted in category theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

K S Brown : abstract homotopy theory and generalized sheaf cohomology

Click to access BrownAbstractHomotopyTheory.pdf C’est dans ce travail que sont définies pour la première fois les « Brown fibration categories » selon le papier de Kapulkin et Szumilo: Click to access 1709.09519.pdf

Posted in category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle

La catégorie SC des catégories simpliciales modèle pour la théorie homotopique des théories homotopiques

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://www.people.virginia.edu/~jeb2md/DefenseTalk.pdf ? Slides 5 et 6 page 3

Posted in Philosophie

#120db le féminisme réel, pas celui des Femen

Le vrai féminisme attaque des idées monstrueuses, celles de la sourate 4 verset 34 du Coran, et non pas les hommes (sexe masculin) , car tout homme ou femme a une égale dignité à une distance infinie du plan internel, … Continue reading

Posted in Coran, DIEU, Europe, Féminisme, Islam, Ouvert : dualité plan vital-plan spirituel, Plan vital-plan spirituel, Science-internelle

Le féminisme réel #Invasion #Islam

Posted in Coran, Europe, Féminisme, Islam

#HoTT fibration categories and tribes

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
expliqué section 2 de https://arxiv.org/pdf/1709.09519.pdf ? C’est aussi un thème de Joyal : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/17/hott-andre-joyal-tribes-and-fibrations/ ? https://anthroposophiephilosophieetscience.wordpress.com/2018/01/22/andre-joyal-hott-simplicial-tribes/ ? https://ncatlab.org/homotopytypetheory/files/Joyal.pdf ? http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/Joyal-TACL2015.pdf

Posted in Philosophie

Simplicial localization

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://ncatlab.org/nlab/show/simplicial+localization https://ncatlab.org/nlab/show/simplicial+localization+of+a+homotopical+category https://www3.nd.edu/~wgd/Dvi/SimplicialLocalizations.pdf ? ? ? ?

Posted in Philosophie

DK-equivalence

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
slide 5 de http://www.people.virginia.edu/~jeb2md/DefenseTalk.pdf ? C’est une notion qui est abordée dans https://arxiv.org/pdf/1709.09519.pdf ? Page 2sur 40 ?

Posted in Philosophie

Avigad Kapulkin Lumsdaine : homotopy limits in type theory

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://arxiv.org/abs/1304.0680

Posted in Philosophie

Szumilo : two models for the homotopy theory of co complete homotopy theories

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://arxiv.org/abs/1411.0303

Posted in Philosophie