Nie jesteś zalogowany |
Teoria kategorii w Naturze
- Prelegent(ci)
- Maciej Zielenkiewicz
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 22 marca 2010 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Na seminarium pokazane zostanie, jak w naturalny sposób teoria kategorii (i topologia) znajdują zastosowanie w kwantowej teorii pola, pozwalając zarówno na ułatwienie obliczeń, jak i na budowę "uogólnionych" teorii. Przedstawione zagadnienia zostaną zilustrowane analogiami do związków teorii kategorii z logiką.
Referat opiera się na pracy Johna Baeza ,,Physics, Topology, Logic and Computation: A Rosetta Stone'' (quant-ph/0903.0340).
Referat opiera się na pracy Johna Baeza ,,Physics, Topology, Logic and Computation: A Rosetta Stone'' (quant-ph/0903.0340).
