Archives de l’auteur : mathesisuniversalis

Cosmology and theology

https://plato.stanford.edu/entries/cosmology-theology/

Publicités

∞-cosmos : articles

http://nyjm.albany.edu/j/2017/23-35v.pdf

https://www.emis.de/journals/TAC/volumes/32/31/32-31.pdf

https://msp.org/agt/2017/17-1/p08.xhtml

Categories, What’s the Point?

Math ∩ Programming

Perhaps primarily due to the prominence of monads in the Haskell programming language, programmers are often curious about category theory. Proponents of Haskell and other functional languages can put category-theoretic concepts on a pedestal or in a mexican restaurant, and their benefits can seem as mysterious as they are magical. For instance, the most common use of a monad in Haskell is to simulate the mutation of immutable data. Others include suspending and backtracking computations, and even untying tangled rope.

Category theory is often mocked (or praised) as the be-all and end-all of mathematical abstraction, and as such (and for other reasons I’ve explored on this blog) many have found it difficult to digest and impossible to master. However, in truth category theory arose from a need for organizing mathematical ideas based on their shared structure. In this post, I want to give a brief overview of what purpose…

View original post 1 609 mots de plus

#HoTT André Joyal : la notion de typos

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

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é f!

Et il est dirigé de la slice category C/A vers C/B ( c’est à dire les catégories dont les objets sont les morphismes de C ayant pour cible A ou B)

selon la formule :

f!( X,p) = (X, fp)

( voir le carré Page 15)

Page 17:

Ce foncteur f! a un foncteur adjoint à droite :

f*: C/B ? C/A

Tout ceci étant associé rappelons le à un morphisme f: A ? B dans la catégorie C. Ce foncteur est appelé foncteur changement de base (« base change ») et (voir le diagramme page 17) il envoie un morphisme p sur un morphisme…

View original post 653 mots de plus

Quentin Meillassoux : l’inexistence divine

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

« L’inexistence divine » est la thèse de Quentin Meillassoux, soutenue en 1997:

http://www.theses.fr/1997PA010510

Elle peut être lue sur Scribd et commence par :

« De l’inexistence de Dieu s’infère un monde suffisamment insensé pour que Dieu même puisse s’y produire »

cette pensée a déjà été commentée ici:

https://anthroposophiephilosophieetscience.wordpress.com/2016/09/23/selon-quentin-meillassoux-le-poeme-de-mallarme-un-coup-de-des-cacherait-un-code-numerique-secret/

https://anthroposophiephilosophieetscience.wordpress.com/2016/09/16/quentin-meillassoux-apres-la-finitude-essai-sur-la-necessite-de-la-contingence/

D’autres articles là dessus :

https://theoremes.revues.org/623

http://www.philomag.com/les-idees/la-resurrection-qui-vient-6491

https://theoremes.revues.org/651

A comparer avec le fondement de ce blog, où Dieu est le plan internel des Idées , l’Idée de l’Idée, ou ∞-catégorie des ∞- catégories, et n’est pas dans le monde

https://anthroposophiephilosophieetscience.wordpress.com/2017/04/16/scienceinternelle-19-recherches-sur-lidee-de-dieu-qui-est-dieu-∞-categorie-des-∞-categories/

Là encore, le Dieu-Idée de Meillassoux s’identifie avec celui de ce blog, c’est à dire à l’immanence radicale de Brunschvicg, opposé exact de la transcendance des vieilles métaphysiques, c’est à dire l’Un non séparé, identique à l’opération humaine intellectuelle. Tant pis pour Badiou : l’Un n’est pas, certes, (sur le plan de l’être ), il est beaucoup plus haut que le…

View original post 5 mots de plus