Title: Saying Hello to Bicategories
Abstract: Bicategories are an important aspect of modern category theory and provide the first instance of “category theory up to coherent isomorphism” we see when hiking up Mount Higher Category Theory. In this talk I will introduce the notion of bicategories, what we can do with them, and explain some of their basic properties. There will also be many, many examples presented in order to both show people who are first becoming introduced to bicategories what flavours in which they can arise and also to keep the talk (somewhat) grounded.
This will be a 2 part talk on Friday Sept 13th and Friday Sept 20th.
