Sixth Scottish Category Theory Seminar

Department of Computer and Information Sciences, University of Strathclyde
Friday 25th May 2012

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 sixth meeting takes place on Friday 25 May 2012 and is focussed on the exciting developments that have taken place recently in Higher Dimensional Category Theory and its applications in homotopy theory and type theory. We intend the meeting to be attractive to mathematicians, computer scientists, physicists etc., and thus have aimed for talks which will be of interest to those who are curious about the latest developments in Higher Dimensional Category Theory.

This meeting is supported SICSA.


The meeting will take place at the Department of Computer and Information Sciences of the University of Strathclyde (Room 14.15, Livingston Tower, 26 Richmond Street, Glasgow) which is located on the corner of Richmond Street and North Portland Street. Click the "+" on the map and it will zoom in to the location. Technology, eh! Refreshments will be available from 1pm on the 14th floor of the Livingstone Tower with the talks beginning at 2pm

View Larger Map


13.00-14.00   Coffee
14.00-15.00 Thomas Streicher (University of Darmstadt)
  On Univalent Foundations  
15.00-15.30 Ondrej Rypacek (Kings College, London)
  A syntactical approach to weak omega-groupoids  
15.30-16.00 Coffee and snack
16.00-16.30 Simona Paoli (University of Leicester)
  n-typical n-fold groupoids  
16.30-17.30 Eric Finster (Ecole Polytechnique De Lausanne)
  Revising the Opetopes: Applications in Computer Science and Type Theory

Dinner on Friday 25 May

The meeting will be followed by drinks in a nearby pub (from 17.30) and then dinner at a local restaurant (from 18.30).

You are politely requested to contact us (email by Friday 11 May if:


This meeting is sponsored by the SICSA Theme Complex Systems Engineering