The seminar takes place on Fridays 12:15am---2pm, room: 5870.
07.06.2013 Łukasz Sienkiewicz, Weights for monoids
31.05.2013 Igor Bakovic, Homotopy theoretic view of fibrations of bicategories (continuation)
24.05.2013 Igor Bakovic, Homotopy theoretic view of fibrations of bicategories
17.05.2013 Marek Zawadowski, Familial Representability and presheaf toposes (continuation)
10.05.2013 Marek Zawadowski, Familial Representability and presheaf toposes
26.04.2013 Wouter Stekelenburg, Recursive realizability and Effective topos (continuation)
19.04.2013 Wouter Stekelenburg, Recursive realizability and Effective topos (continuation)
12.04.2013 Wouter Stekelenburg, Recursive realizability and Effective topos
22.03.2013 Stanisław Szawiel, Opetopic Sets as a presheaf category
15.03.2013 Workshop on Workshop on Opetopes, Opetopic Sets, and Opetopic Categories
08.03.2013 Workshop on Workshop on Opetopes, Opetopic Sets, and Opetopic Categories
01.03.2013 Stanisław Szawiel, Stuff types (cont.)
22.02.2013 Stanisław Szawiel, Stuff types
25.01.2013 Stanisław Szawiel, The Bicategory of Generalized Species (cont.)
18.01.2013 Stanisław Szawiel, The Bicategory of Generalized Species
11.01.2013 Łukasz Sienkiewicz, Distributive laws (cont.)
21.12.2012 Łukasz Sienkiewicz, Distributive laws (cont.)
14.12.2012 Łukasz Sienkiewicz, Distributive laws
07.12.2012 Marek Zawadowski, Test Categories
30.11.2012 Marek Zawadowski, Weak Test Categories
23.11.2012 Marek Zawadowski, Aspherical Presheaf Morphisms
16.11.2012 Jaap van Oosten, A realizability model for Nonstandard Arithmetic
09.11.2012 Marek Zawadowski, Aspherical Presheaf Morphisms
26.10.2012 Marek Zawadowski, Aspherical Functors
19.10.2012 Marek Zawadowski, Aspherical Functors
12.10.2012 Marek Zawadowski, Test Categories – introduction
05.10.2012 Marek Zawadowski, Test Categories – introduction
In case of questions please contact Marek Zawadowski (zawado at mimuw dot edu dot pl).