Title: Bar-Natan theory and tunneling between incompressible surfaces in 3-manifolds

Abstract: The author defined for each (commutative) Frobenius algebra a skein module of surfaces in a $3$-manifold $M$ bounding a closed $1$-manifold $\alpha \subset \partial M$. The surface components are colored by elements of the Frobenius algebra. The modules are called the Bar-Natan modules of $(M,\alpha )$. In this article we show that Bar-Natan modules are colimit modules of functors associated to Frobenius algebras, decoupling topology from algebra. The functors are defined on a category of $3$-dimensional compression bordisms embedded in cylinders over $M$ and take values in a linear category defined from the Frobenius algebra. The relation with the $1+1$-dimensional topological quantum field theory functor associated to the Frobenius algebra is studied. We show that the geometric content of the skein modules is contained in a tunneling graph of $(M,\alpha )$, providing a natural presentation of the Bar-Natan module by application of the functor defined from the algebra. Such presentations have essentially been stated previously in work by the author and Asaeda-Frohman, using ad-hoc arguments. But they appear naturally on the background of the Bar-Natan functor and associated categorical considerations. We discuss in general presentations of colimit modules for functors into module categories in terms of minimal terminal sets of objects of the category in the categorical setting. We also introduce a $2$-category version of the Bar-Natan functor, thereby in some way Bar-Natan modules of $(M,\alpha )$.