2-catégories vues comme « doctrines »

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια

Nous avons déjà vu l’importance des 2-catégories comme cadre théorique de l’adjonction:

https://mathesisuniversalis.wordpress.com/2015/07/17/adjonction-3-dans-le-cadre-des-2-categories/

Elles peuvent être regardées comme des ensembles structurés, des catégories, de théories, appelées « doctrines »:

https://en.m.wikipedia.org/wiki/2-category#Doctrines

Les objets sont vus commes les théories, les 1-morphismes comme modèles des théories et les 2-morphismes comme morphisme sur entre les modèles.
La page du Nlab est beaucoup plus détaillée là dessus:

http://ncatlab.org/nlab/show/doctrine

On lui adjoindra cet article du blog n-category cafe, portant à la fois sur la physique, la mathématique et la philosophie:

https://golem.ph.utexas.edu/category/2006/09/doctrines.html

en suivant les dialogues entre ces penseurs à chaque article : dans ce blog les réponses aux articles sont souvent aussi intéressantes, sinon plus.

D’ailleurs je me demande pourquoi je me fatigue à faire mes blogs, alors que tout est déjà là dans « n-category cafe », et que je ne risque pas d’atteindre un jour leur niveau en maths et en physique.

La réponse à cette question en…

View original post 364 mots de plus

Publicités