Using Globular for diagrammatic computations

The program Globular by Jamie Vicary and Krzysztof Bar is available at globular.science. It is a computer implementation of categorical aspects of classical knot theory and can be used to implement movie moves for knotted surfaces. I will give a tour of globular's functionality by creating and manipulating a variety of knot diagrams and knotted surface diagrams. When possible, I will describe things in a categorical context.