|
SEMINARS |
|
Using Globular for diagrammatic computations J. Scott Carter University of South Alabama |
|||
Abstract: 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. Language: English |