Category theory is a relatively new branch of mathematics which seeks to understand abstract mathematical structure. At its core, category theory contains a synthesis of algebraic, logical and geometric intuitions. This allows for both diverse applications and innovative insights in areas including pure mathematics, computer science, physics etc.

The Scottish Category Theory Seminar provides a forum for discussion of all aspects of category, be they straight category theory or applications to other scientific fields. Our first meeting took place on Friday November 27 at the University of Glasgow. The schedule was

• 1.15pm: Coffee.
• 2.00pm: Martin Hyland, Universty of Cambridge: Redundant and hidden operations in algebraic theories.
• 3.00pm: Alexander Kurz, University of Leicester: Algebras over Nominal Sets.
• 3.30pm: Coffee.
• 4.00pm: Willem Bernard Heijltjes, University of Edinburgh: Proof nets for sum-product categories.
• 4.30pm: Nicola Gambino, University of Palermo: Homotopical aspects of Martin-L\"of type theory.

Location:

Room 203 (ground floor),
Department of Mathematics, University of Glasgow,
University Gardens, Glasgow G12 8QW.

Directions: Rough directions by train are: from either of the main Glasgow stations (Central or Queen St), take the subway to Hillhead. It's then a five-minute walk to the maths department. Detailed directions are here

Sponsorship:

Attendees:

• Neil Ghani
• Tom Leinster
• Alex Simpson
• Jeff Egger
• Martin Hyland
• Nicola Gambino
• Alexander Kurz
• Willem Bernard Heijltjes
• Ekaterina Komendantskaya
• Bob Atkey
• Krzystof Kapulkin
• Liwei Deng
• Robert Rothenberg
• Miles Gould
• Alan Bundy
• Georgieva Lilia
• Patricia Johann
• Phil Wadler
• Ohad Kammar
• Christian Kissig
• Peter Hancock
• Vincent Danos
• Ondrej Rypacek
• Clement Fumex
• Murdoch Gabbay
• James Chapman
• Roy Dyckhoff
• Andrew Smith
• Vincent Rahil
• Jan Jakubuv