The 95th Peripatetic Seminar on Sheaves and Logic (PSSL) will be held at the
Department of Mathematics, Masaryk University, Brno on Saturday the 26th and Sunday the 27th of April. Talks will cover all areas of category theory
and its applications.
26th and 27th of April 2014
Brno, Czech Republic
List of Participants
Jiři Velebil, Czech Technical University, Prague
Michael Makkai, Masaryk University
Andy Tonks, London Metropolitan University
Imma Galvez, Universitat Politècnica de Catalunya
Tim Van Der Linden, Université catholique de Louvain
Matěj Dostál, Czech Technical University, Prague
Alex Corner, University of Sheffield
Javier Gutiérrez, Radboud Universiteit Nijmegen
Ahmet Emin Tatar, King Fahd University of Petroleum and Minerals, Saudi Arabia
Sergejs Solovjovs, Masaryk University
Benjamin Heredia, University of Granada
Christina Vasilakopoulou, University of Cambridge
Tomáš Janík, Masaryk University
Lurdes Sousa, Polytechnic Institute of Viseu / CMUC, Portugal
Henrik Forssell, University of Stockholm
Sean Moss, University of Cambridge
Tamara Von Glehn, University of Cambridge
Panagis Karazeris, University of Patras, Greece
Carles Casacuberta, University of Barcelona
Enrico Ghiorzi, University of Cambridge
Guilherme Frederico Lima, University of Cambridge
Edward Prior, University of Sheffield
John Bourke, Masaryk University
Oriol Raventos, Masaryk University
Jiří Rosický, Masaryk University
Dany Majard, Masaryk University
Hynek Mlcousek, Masaryk University
Lukáš Vokřínek, Masaryk University
09:00 - 09:30 Registration
09:30 - 10:00 Tim Van Der Linden: A Galois theory for monoids
10:00 - 10:30 Christina Vasilakopoulou: Monoids and modules in double categories
10:30 - 11:00 Coffee Break
11:00 - 11:30 Jiři Velebil: Sound classes of weights and siftedness
11:30 - 12:00 Matěj Dostál: Morita equivalent S-sorted theories
12:00 - 12:30 Panagis Karazeris: Flat morphisms of theories
12:30 - 14:30 Lunch Break
14:30 - 15:00 Carles Casacuberta: About homotopy algebras for a monad
15:00 - 15:30 Ahmet Emin Tatar: Extensions of Picard 2-stacks and their classification
15:30 - 16:00 Coffee Break
16:00 - 16:30 Tamara Von Glehn: Constructing Categorical Models of Type Theory
16:30 - 17:00 Henrik Forssell: Constructive completeness and Joyal's theorem
17:00 - 17:30 Michael Makkai: Logic with dependent types: first order and second order quantification
19:30 Conference Dinner
09:30 - 10:00 Lurdes Sousa: On classes of morphisms determined by Kan-injectivity
10:00 - 10:30 Sergejs Solovjovs: On a lax-algebraic characterization of closed maps
10:30 - 11:00 Alex Corner: Tensoring braided strict monoidal categories
11:00 - 11:30 Coffee Break
11:30 - 12:00 Javier Gutiérrez: Solid and rigid monoids in monoidal categories
12:00 - 12:30 Andy Tonks: Decomposition spaces: (Higher) categorification of incidence coalgebras and Möbius inversion
Information for speakers:
Talks should be approximately 25 minutes. There will be large blackboards, an overhead projector and a data projector available.
Getting to Brno
Brno is located in the south east of the Czech Republic.
There are regular flights to and from Brno from London Stansted (Ryanair) and London Luton (Wizz Air), and occasional
flights to and from Eindhoven.
Other cities with airports that are within easy reach are Vienna (Austria), Bratislava (Slovakia) and Prague (Czech Republic).
We have booked a limited number of rooms at a special price at the
The hotel is within 10 minutes walk of the mathematics department and within a few minutes of the centre of town too.
The single room price is 1350 Kc (49EUR) per day and a 2-person room costs 1800 Kc (65 EUR) per day. Breakfast is included.
Here is some info and a map containing the locations of the Hotel Continental, the mathematics department and various restaurant and cafe options nearby. Here is
a map with directions from the train and bus stations to the Hotel Continental.
How to move around in Brno
The Mathematics Department of Masaryk University is in Building 8 in the Science Faculty (Kotlárská street, 2). This is within easy walking distance of the Hotel Continental.
Upon leaving the hotel turn right up Kounicova street until you reach the door of the Science Faculty, which is on the corner
with Kotlárská street).
Hotel Continental (Kounicova street, 6) is just 3 tram stops away from the main train station and the Student Agency bus terminal. Alternatively a pleasant 20 minute
walk through the center of Brno.
A single ticket for the integrated Brno public transport system costs 20 crowns for short rides of less than 15 minutes or 25 crowns for rides of less than 60 minutes.
Further transport information
If you are arriving at Brno airport you can take bus 76 to the train station (or 89 after 11pm). This leaves every 30 minutes and the journey takes 25 minutes. Alternatively a taxi from the airport
to the hotel/ centre of town should cost less than 300kc.
Alternative close airports are Prague, Vienna and Bratislava. From Prague and Vienna airports you can take a Student Agency bus directly to Brno (4 hours from Prague, 2 hours and a half from Vienna). This is the easiest option. These buses sell out very often, so we recommend you book the tickets in advance from the
(English language option on top right!). If you decide to come by train you can check the schedules here .
From Prague Main train station (Hlavní Nádrazí) there are EuroCity trains each hour (2 hour and a half distance). To reach the train station from the airport you can take the Airport Express for 60 crowns. Further information on travelling from Prague.
From Vienna Meidling train station there are trains each hour (2 hour distance). To reach the train station from the airport you can take the Vienna Airport Line bus for 8 euros directly to Meidling. Also you can go by metro (S-Bahn/U-Bahn) for approximately 5 euros (changing in Rennweg station) Further information on travelling from Vienna.
From Bratislava there are trains (1 hour and a half distance) and buses (2 hour distance) each hour. The main train station (Hlavni Stanicá) can be reached from the airport by bus 61. To reach the bus terminal (Mlynskénivy) take bus 61 to the train station and then trolleybus 210.