|
СЕМИНАРЫ |
|
Using Globular for diagrammatic computations Скотт Картер University of South Alabama |
|||
Аннотация: 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. Язык доклада: английский |