Catégories internes ( internal category theory)

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

Une catégorie peut être définie par la donnée d’un ensemble d’objets O et d’un ensemble de morphismes M et de flèches entre ces ensembles :

O ? M associant à un objet son morphismes identité

M × M ? M (loi de composition des morphismes)

M ? O associant à un morphisme son objet source

et

M ? O associant à un morphisme son objet cible

Si ces objets et ces flèches ne sont plus dans la catégorie Set mais dans une autre catégorie C , la catégorie est dite interne à C:

https://ncatlab.org/nlab/show/internal+category

Dans le premier cas, toute catégorie est définie de manière interne à la catégorie Set des ensembles, exemple paradigmatique de topos, mathème du « plan ontologique » , qui joue donc un rôle particulier : comme dit Descartes, pour penser il faut être. C’est aussi le plan physique des objets, des corps, dans un espace de Chu, représenté…

View original post 79 mots de plus

Publicités

Arte : fresque sur le Vietnam, en 9 épisodes

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

On peut les revoir sur Replay:

Épisode 1/9:

http://www.tv-replay.fr/19-09-17/vietnam-1-9-arte-12583220.html

un gâchis humain monumental, initié par ce salaud de Kennedy..bien propre sur lui.. bien sûr il fallait être anticommuniste, car le communisme, contrairement à ce que prétend Badiou, n’est pas une Idée… mais il fallait l’être intelligemment..c’est la même chose avec l’islam aujourd’hui, qui prend la place du communisme et du nazisme, c’est à dire de l’idolâtrie du plan vital, de la « Nature », envisagée de manière réaliste

View original post

Relation entre type theory, category theory et logique

https://news.ycombinator.com/item?id=986746

A noter, en commentaires de cet article de blog, une discussion entre Jacob Lurie, Mike Shulman et Urs Schreiber sur HoTT:

https://mathematicswithoutapologies.wordpress.com/2015/05/13/univalent-foundations-no-comment/comment-page-1/#comment-224