Definition 5.4 ([1]} 2.6) 
Let \(f: X \rightarrow Y\)  be a morphism of fs log stacks. A morphisms \(g: W \rightarrow Y\)  is transverse to \(f\)  if \(W\times ^{fs}_Y X \rightarrow W\)  is integral.

