Daily Archives: February 2, 2018

Saunders MacLane : concepts and categories in perspective

http://www.ams.org/publicoutreach/math-history/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 vue du calcul … Continue reading

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

K S Brown : abstract homotopy theory and generalized sheaf cohomology

https://ncatlab.org/nlab/files/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: https://arxiv.org/pdf/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