In praise of composition: knot groups and cospans
I have been thinking about knots recently. The context is our work (with Sabadini, Katis, Rosebrugh etc) since 1997 ([1]) in using the tensor and composition in categories of spans and cospans to describe "evolving nets of automata" - the most recent paper being [4]. After these thoughts I noticed that the main idea of this post, seen somewhat differently, has already been discovered by John Armstrong (see below). It could easily be also in other works, for example Yetter's book on Functorial Knot Theory (I don't have a copy).
The idea is to see a knot as a system composed from parts. Let's look at the trefoil:
Read more »
The idea is to see a knot as a system composed from parts. Let's look at the trefoil:
Read more »
Labels: category theory, Como Category Seminar, computing, mathematics