What is an accepted definition of a (∞,n)-category of triangulated cobordisms?
Is there one that has a forgetful functor to (Rezk - Hopkins -) Lurie's smooth cobordisms? Does it shed light on how Turaev-Viro-invariants can be understood as extended TQFTs?
One naive approach would fail: We could just take the smooth cobordism category, which has as $n$-morphisms $n$-manifolds embedded into $\mathbb{R}^\infty \times \mathbb{R}^n$ (such that the projections onto the last $n$ components are Morse functions) together with $n$ tuples $(t^i_1 , \ldots t^i_{k_i}), i \in \{1\ldots n\}$ such that the projections are regular on the $t^i_j$. (I'm leaving out tons of details about the topology and the simplicial structure, but I think they aren't important here.) Now we would want to demand that the manifold be triangulated such that the preimages of the projections on the $t^i_j$ lie in the $(n-1)$-skeleton of the triangulation to assure that composition happens along triangulated $(n-1)$-manifolds.
But this is the wrong definition: If we think about e.g. 2d ETQFTs, we could assign a vector space $V$ to the interval and want a triangle with a certain orientation to be mapped to a morphism $V \otimes V \to V$, e.g. a multiplication. But this would mean that the two source edges and the target edge would share two points. Thus, there is no embedding such that the source edges lie in the preimage of a $t_0$ and the target edge lies in the preimage of a $t_1$ since there is a distance between the hyperplanes defined by the $t_i$.
I've tried to search for a good definition, but I couldn't find anything.
Note that I'm not worried about a definition for an ordinary category of triangulated cobordisms, but rather a higher categorical version that can be related to the cobordism theorem.
