Tag Archives: William Lawvere

Universal algebra in topoi

https://macsphere.mcmaster.ca/bitstream/11375/12519/1/fulltext.pdf

Il s’agit d’une thèse datant de 1973, qui illustre bien la caractère des topos d’être des “univers de pensée”, donc d’univers où il est possible de faire des mathématiques, notamment de l’algèbre.

Il se base sur les topos de Grothendieck, c’est à dire de catégories de faisceaux sur un site, et le chapitre I, page 5 à 20, constitue un bon complément, plus précis et détaille, au cours d’Olivia Caramello en vidéos que nous suivons sous #GrothendieckTopos:

https://mathesisuniversalis.wordpress.com/2015/07/22/grothendiecktopos-4-faisceaux-sur-un-site-topos-de-grothendieck/

mais sans entrer dans la théorie de Caramello sur les topoi comme ponts unifiants pour la mathématique, qui commence ici:

https://mathesisuniversalis.wordpress.com/2015/07/30/grothendiecktopos-5-idee-centrale-du-cours-sur-les-topoi-de-grothendieck-comme-ponts-unifiants/

Voir aussi sur le cours de Cambridge d’Olivia Caramello:

https://mathesisuniversalis.wordpress.com/2015/08/01/autre-cours-dolivia-caramello-sur-la-theorie-des-topoi/

Le chapitre I présente les principales notions étudiées dans les cours de Caramello, topologies de Grothendieck, site, crible, faisceaux sur un site, avec des exemples à partir de la page 20 notamment page 25 un exemple tiré de la théorie de la mesure à partir d'un espace topologique : pour tout espace topologique il existe une sigma-algèbre, ou "tribu, dite tribu borélierne, engendrée par les ouverts de la topologie (la plus petite tribu contenant tous les ouverts) et l'on peut alors définir des mesures (y compris de probabilités) sur cette tribu.
Page 19 au paragraphe 4 du chapitre 1 sont expliquées les deux notions de topos : celle géométrique des topoi de Grothendiek comme catégories de faisceaux sur un site, et celle des topoi élémentaires ("elementary topos") axiomatisée par Lawvere et Tierney, qui trouve son origine plutôt dans la logique et la théorie des ensembles, un topos en ce sens étant en un sens informel une catégorie qui se comporte en gros comme la catégorie des ensembles, qui est l'exemple archétypique de topos, c'est à dire une catégorie où l'on peut former des limites (dont un cas particulier est le produit de deux objets), des classificateurs de sous-objets ( sous-ensemble dans le cas de la catégorie des Ensembles) etc…
Mais il faut d'abord passer en revue ces notions (limites, diagrammes, exponentielle, catégorie cartésienne fermée) ce sera fait bientôt..
Enfin page 31 sont expliqués les deux notions de morphismes entre topoi : géométrique et logique.
Tout ceci renvoie évidemment à la double nature, géométrique et logique, de la théorie des topoi:

https://mathesismessianisme.wordpress.com/2015/07/30/la-nature-duale-de-la-theorie-des-topoi-geometrique-et-logique/

Advertisements

Conférence internationale de théorie des catégories CT2015

La conférence annuelle CT2015 s’est tenue au Portugal à l’universited’Aveiro du 14 au 19 juin 2015.

Vous avez ici la liste des exposés, avec pour la plupart les “slides” (texte de l’exposé):

http://ct2015.web.ua.pt/talks.html

A noter que William Lawvere, inventeur avec Grothendieck de la théorie des topoi (Grothendieck pour le versant géométrique, Lawvere pour le versant logique) a donné un cours sur le thème:

Alexandre Grothendieck et la conception moderne de l’espace

dont le résumé est ici:

http://ct2015.web.ua.pt/abstracts/lawvere_b.pdf

****

image

La loi de création de Wronski et la théorie des catégories

HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια

(je ne comprends pas ce qui se passe avec WordPress, le texte complet de l’article refuse de  s’afficher, voir ces liens pour l’article complet :

http://mathesisuniversalis.multiply.com/journal/item/106/106

http://mathesisuniversalis.over-blog.com/article-la-loi-de-creation-de-wronski-et-la-theorie-des-categories-104092362.html

et par la même occasion voir ceux ci pour la poursuite des recherches sur ce sujet :

http://mathesisuniversalis.multiply.com/journal/item/107/107

http://mathesisuniversalis.multiply.com/journal/item/109/109

http://mathesisuniversalis.over-blog.com/article-les-topoi-cohesifs-104391835.html

http://mathesisuniversalis.over-blog.com/article-les-trois-elements-primitifs-de-wronski-et-les-topoi-104317024.html

La loi de création a déjà été abordée sur le blog “Recherche de l’Absolu” :

http://balzacwronskimessianisme.wordpress.com/2012/04/11/diagrammes-de-la-loi-de-creation-de-wronski/

ce qui va être dit ici est purement spéculatif et “formel” , disons un programme de travail qui donnera ou pas quelque chose … je me base sur les ligens suivantes de Francis Warrain dans “Quantité, infini, continu” page 17 :

toute réalité comporte , outre les deux éléments hétérogènes et primordiaux : élément-être (EE) et élément-savoir (ES) , un élément à double fonction que Wronski appelle : élément fondamental ou neutre (EN).

Cet élément est d’ordre fonctionnel, pragmatique, dynamique, tandis que les deux autres forment…

View original post 1,480 more words