All Questions

There should be a category $3\text{CobTang}$ whose objects are some kind of surfaces with a finite set of marked points morphisms $M : S \to T$ are some kind of $3$-dimensional cobordisms $...

The Kauffman bracket skein module $K_t(F\times I)$ (where $t$ is an indeterminant and $F$ is a closed surface) is an associative algebra (the operation being "stacking" links in the $I$ direction). ...