Prise de vue, mise en page et en ligne : S. Dugowson
Page en travaux, revenir dans deux jours, merci !
Relier des objets de natures très différentes
Discret/continu
Remarque : certaines théories physiques ne peuvent s'exprimer qu'en termes de catégories
Importance des relations pour la physique
Physique, géométrie et topos
Catégories et compréhension : exemple des connections
Objets ?
Relations ?
Math/phys ?
Catégories ?
Catégories
Catégorie des ensembles
Classifiant des sous-ensembles
Espaces vectoriels
Espaces de Hilbert
Groupes
Catégories fonctorielles
Transformations naturelles
"Objets-groupes"
Dans le topos de la physique quantique ?
Le passage du classique au quantique vu comme un changement de topos ?
Spécificité de la catégorie Cob par rapport à Set
John Baez : Hilb... Miracle ?!?
Théorie de champ (Attiyah) = foncteur...
Rep(G)
Diagrammes de Feynman.
Particules de Wigner.
Categorical quantum mechanics (Abramsky/ Coecke)
Category of quantum computation
Passer de la logique interne à la logique externe.
Exemple : algèbres non commutatives / algèbres commutatives
Isham / Döring : what is a thing ?
Ref : John C. Baez
"Categories and Physics", article soumis (2014)
Categorical quantum mechanics
what is a thing ?