5th meeting 16.04.2011, room 4050, Faculty
of Mathematics, Informatics, and Mechanics, University of Warsaw, Banacha 2,
02-097 Warszawa
|
10:30-12.00 |
Bartek Klin |
Coalgebras and
coinduction |
|
12:20-13.50 |
Jerzy Król |
Breaking
a general tovariance … |
4th meeting 12.03.2011, room 4070, Faculty
of Mathematics, Informatics, and Mechanics, University of Warsaw, Banacha 2,
02-097 Warszawa
This is a Joint
meeting of the Seminar on Quantum Field Theories & Polish Seminar on
Category Theory dedicated to Quantum Information and Quantum Computing
|
10:00 AM |
Welcome coffee |
|
|
10:30 AM |
Marek Zawadowski |
Monoidal categories, an introduction |
|
12:00 AM |
Lunch |
|
|
12:30 PM |
Aleks Kissinger |
Quantum
mechanics and quantum computation |
|
1:30 PM |
Coffee break |
|
|
2:00 PM |
Aleks Kissinger |
Categorical
quantum mechanics and the graphical calculus |
|
3:00 PM |
Coffee break |
|
|
3:30 PM |
Aleks Kissinger |
Graphs
of many-body systems: the algebraic structure of entanglement |
|
4:30 PM |
End of the meeting! |
|
|
6:00 PM |
Dinner at "U Szwejka"! |
|
3rd meeting 15.01.2011, room 4050, Faculty
of Mathematics, Informatics, and Mechanics, University of Warsaw, Banacha 2,
02-097 Warszawa
10.30-12.00 Pawel Waszkiewicz, V-enriched categories - an introduction
12.20-13.50 Jerzy Krol, Sheaves, categories, and physics.
2nd meeting 11.12.2010, room 4050, Faculty
of Mathematics, Informatics, and Mechanics, University of Warsaw, Banacha 2,
02-097 Warszawa
10.30-12.00 Marek Zawadowski –An introduction to
Higher-dimensional Categories (Wprowadzenie do wysoko-wymiarowych kategorii)
12.20-13.50 Stanisław Szawiel - A Constructuion of
Opetopic Sets (Konstrukcja Zbiorów Opetopowych)
First meeting 6.11.2010, room 4070, Faculty
of Mathematics, Informatics, and Mechanics,
Thomas Streicher -TYPES as KAN COMPLEXES
10.15 – 11.15 - Type Theory and its Categorical Models
11.30 – 12.30 - Basics of Simplicial Homotopy Theory
12.45 – 13.45 - Interpreting Type Theory in SSet and Voevodsky's
Equivalence Axiom
In case of
questions please contact Marek Zawadowski (zawado at mimuw dot edu dot pl).