Geoff Vooys

In everybody’s first course in category theory, we learn that categories have two different flavours of morphism: 0-morphisms (which are categories themselves), 1-morphisms (which are functors), and 2-morphisms (which are natural transformations). In...

In this talk we’ll continue to get to know bicategories by learning about what you can do inside a bicategory. We’ll learn about pasting diagrams as well as adjoints and equivalences inside bicategories before presenting some examples of what these...

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...