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).

---