The Khovanov-Rozansky skein lasagna module was introduced by Morrison-Walker-Wedrich as an invariant of 4-manifold with a framed oriented link in the boundary. I will discuss an extension of the skein lasagna theory to 4-manifolds with codimension 2 corners, and its behavior under gluing. I will also talk about a categorical framework for computing skein lasagna modules of closed 4-manifolds via trisection, as well as an extended 4d TQFT based on skein lasagna theory. This is joint work with Sarah Blackwell and Slava Krushkal.